The Language of First-Order Logic, Including Tarski's World 3.0

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

316 pages, Paperback

First published December 1, 1992