The Language of First-Order Logic: Including the Macintosh TM Program, Tarski's World 3.0 (Volume 23)

by Jon Barwise, John Etchemendy

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

280 pages, Paperback

First published December 1, 1992