Logic Software from CSLI
Library Home || Full Table of Contents || Suggest a Link || Library Help
|Jon Barwise and John Etchemendy; Center for the Study of Language and Information|
|Text/software packages described here - Hyperproof, The Language of First-order Logic, Tarski's World, and Turing's World - are all published by the Center for the Study of Language and Information and distributed by Cambridge University Press.|
|Resource Types:||Topic Tools Miscellaneous|
The Math Forum is a research and educational enterprise of the Drexel University School of Education.