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

Barwise, Jon; Etchemendy, John

  • 3.91 out of 5 stars
    11 ratings by Goodreads
 
9780937073599: The Language of First-Order Logic: Including the Macintosh TM Program, Tarski's World 3.0 (Volume 23) (Lecture Notes)
Softcover
ISBN 10: 0937073598 ISBN 13: 9780937073599
Publisher: Center for the Study of Language and Inf, 1990

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.

About the Author











Jon Barwise (1942–2000) was professor of philosophy, mathematics, and computer science at Indiana University and one of the founding members of the Center for the Study of Language and Information (CSLI).

 

 









^

John Etchemendy is professor of philosophy and symbolic systems at Stanford University and a former director of the Center for the Study of Language and Information (CSLI).
 

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

Publisher
Center for the Study of Language and Inf
Publication date
1990
Language
English
ISBN 10 
0937073598
ISBN 13 
9780937073599
Binding
Paperback
Number of pages
280
Rating
  • 3.91 out of 5 stars
    11 ratings by Goodreads

Other Popular Editions of the Same Title

9780937073742: The Language of First-Order Logic, Including Tarski's World 3.0 (Mac) (Lecture Notes) (Volume 23)

Featured Edition

ISBN 10:  0937073741 ISBN 13:  9780937073742
Publisher: Center for the Study of Language..., 1992
Softcover