Items related to The Language of First-Order Logic : Including the Macintosh...
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) - 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.
Review
Review of the first edition... "A fascinating approach to a fascinating subject." Choice
"About this title" may belong to another edition of this title.
- PublisherCenter for the Study of Language and Inf
- Publication date1993
- ISBN 10 0937073997
- ISBN 13 9780937073995
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages320
- Rating
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 and Inf, 1993
ISBN 10: 0937073997
ISBN 13: 9780937073995
Used
Softcover
Seller: SecondSale, Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00041093286
Quantity: 1 available
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 and Inf, 1993
ISBN 10: 0937073997
ISBN 13: 9780937073995
Used
Softcover
Seller: More Than Words, Waltham, MA, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. . . All orders guaranteed and ship within 24 hours. Before placing your order for please contact us for confirmation on the book's binding. Check out our other listings to add to your order for discounted shipping. Seller Inventory # WAL-E-5d-001705
Quantity: 1 available
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
Quantity: 1 available
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 3 out of 5 stars
Trade Paperback. Condition: Used Good. Has 3 1/2 inch disk included, no marks or writing. Seller Inventory # 241321
Quantity: 1 available
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
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
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 4 out of 5 stars
Condition: new. Seller Inventory # 5D4WH70001RV_ns
Quantity: 1 available