The Language of First-Order Logic. [Includes the Macintosh disc, "Tarski's World" - Lecture Notes only]. CSLI. 1991.

by Jon Barwise

This complete introduction to first-order symbolic logic consists of a computer program and a text. The revised and expanded edition includes an extensive series of translation exercises to and from ordinary language, and proof exercises using ordinary language.

Genres: Logic, Mathematics

Paperback

First published December 1, 1992