The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23) - Softcover
Synopsis
The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text. The program, an aid to learning and using symbolic notation, allows one to construct symbolic sentences and possible worlds, and verify that a sentence is well formed. The truth or falsity of a sentence can be determined by playing a deductive game with the computer.
"synopsis" may belong to another edition of this title.
About the Author
Jon Barwise (1942-2000) was a mathematician, philosopher and logician. He taught at the Universities of Yale and Wisconsin before becoming the first director of the Center for the Study of Language and Information at Stanford University. From 1990 until his death he was professor of philosophy at Indiana University. John Etchemendy has been professor of philosophy at Stanford since 1983. In 2000 he became Provost of Stanford University.
"About this title" may belong to another edition of this title.
Search results for The Language of First-Order Logic : Including the Macintosh...
Stock Image
The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23)
Published by
Center for the Study of Language, 1993
ISBN 10: 0937073997
ISBN 13: 9780937073995
Used
paperback
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or limited writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_444149731
Stock Image
The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23)
Published by
Center for the Study of Language, 1993
ISBN 10: 0937073997
ISBN 13: 9780937073995
Used
paperback
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_416114835
Stock Image
The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0
Published by
Center for the Study of Language and Informat, 1993
ISBN 10: 0937073997
ISBN 13: 9780937073995
Used
Paperback
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0937073997I4N00
Stock Image
The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0
Published by
Center for the Study of Language and Informat, 1993
ISBN 10: 0937073997
ISBN 13: 9780937073995
Used
Paperback
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0937073997I5N00
Stock Image
The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23) (Volume 23)
Published by
Center for the Study of Language, 1993
ISBN 10: 0937073997
ISBN 13: 9780937073995
Used
paperback
Seller: HPB-Ruby, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_441035679
Stock Image
Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 (Rev & Expanded)
Published by
Center for the Study of Language and Information Publica Tion August 1993, 1993
ISBN 10: 0937073997
ISBN 13: 9780937073995
Used
Trade Paperback
Seller: Pella Books, Pella, IA, U.S.A.
Seller rating 2 out of 5 stars
Trade Paperback. Condition: Used Good. Has 3 1/2 inch disk included, no marks or writing. Seller Inventory # 241321
Stock Image
The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4. 0
Published by
Cambridge University Press, 1993
ISBN 10: 0937073997
ISBN 13: 9780937073995
Used
Softcover
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. 3rd Edition. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP29654020
Buy Used
US$ 20.77
Shipping:
US$ 10.53
From United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
The Language of First-Order Logic : Including the Macintosh Program Tarski's World 4.0/Book and Disk (Csli Lecture Notes, No 23) (Volume 23)
Published by
Center for the Study of Language and Inf, 1993
ISBN 10: 0937073997
ISBN 13: 9780937073995
New
Softcover
Seller: Solr Books, Lincolnwood, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: new. Seller Inventory # 5D4WH70001RV_ns
Stock Image
CSLI Lecture Notes: The Language of First-Order Logic: Including the Macintosh Program Tarski's World 4.0 (Volume 23)
Published by
The Center For The Study Of Language And Information Publications, 1993
ISBN 10: 0937073997
ISBN 13: 9780937073995
Used
Softcover
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Volume 23. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:0937073997. Seller Inventory # 8659393
Buy Used
US$ 27.93
Shipping:
US$ 17.03
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0: 23 (Center for the Study of Language and Information Publication Lecture Notes)
Published by
The Center for the Study of Language and Information Publications, 1993
ISBN 10: 0937073997
ISBN 13: 9780937073995
Used
Soft cover
Seller: Hard To Find Editions, Bristol, AVON, United Kingdom
Seller rating 5 out of 5 stars
Soft cover. Condition: Good. 3rd Edition. Ex-library copy with usual reference stamps and stickers to first inner pages. However all pages intact with no highlighting or writing contained within. Last few pages a little crumpled. The spine remains undamaged with tight binding and the book is generally in good condition. Fast dispatch within and from the UK. 100% money back guarantee. Seller Inventory # ABE-1737750101422
Buy Used
US$ 28.30
Shipping:
US$ 35.67
From United Kingdom to U.S.A.
Quantity: 1 available