The Language of First-Order Logic, Including Tarski's World 3.0 (Windows) (Center for the Study of Language and Information Publication Lecture Notes) - Softcover

Barwise, Jon; Etchemendy, John

 
9780937073599: The Language of First-Order Logic, Including Tarski's World 3.0 (Windows) (Center for the Study of Language and Information Publication Lecture Notes)

Synopsis

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.

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title