Logic Software from CSLI
Library Home || Full Table of Contents || 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|
© 1994- The Math Forum at NCTM. All rights reserved.