Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Logic Software from CSLI

Library Home || Full Table of Contents || Suggest a Link || Library Help

Visit this site: http://www-csli.stanford.edu/hp/

Author:Jon Barwise and John Etchemendy; Center for the Study of Language and Information
Description: 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.

Levels: College
Languages: English
Resource Types: Topic Tools Miscellaneous
Math Topics: Logic/Foundations

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.