Language of First-Order Logic

Description: This courseware package combines a complete logic text with the computer program Tarski's World. The text balances the semantic conception of logic with methods of proof. Traditional topics of propositional and quantifier logic, as well as more advanced topics such as set theory, inductive definitions, and applications of logic in computer science are covered, with hundreds of exercises and problems provided. The text integrates the use of Tarski's World, which allows the student to construct three-dimensional worlds and to describe them in first-order logic.

Requirements: PC running Windows 3.1 or above, or Apple Macintosh running System 7.0 or above.

Further information: from the Centre for the Study of Language and Information web page at http://www-csli.stanford.edu/hp/index.html

Distributor: Customer Services Department (Direct), Cambridge University Press, The Edinburgh Building, Cambridge CB2 2RU, UK. Tel.: +44 (1223) 325588 Fax: +44 (1223) 325152 Email: directcustserve@cup.cam.ac.uk

Price: £29.95 + VAT (single use copy).

Version available at CTI Centre: None.

[Resources Guide: A-Z Contents] [Resources Guide: Front Page] [CTI Textual Studies Home Page]

Guide to Digital Resources 1996-98. Not to be republished in any form without the permission of CTI Textual Studies.

HTML Author: Sarah Porter
Document Created: 20 March 1997
Document Modified:

The URL of this document is http://info.ox.ac.uk/ctitext/resguide/resources/l100.html