0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Not currently available

The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 - Including the Macintosh Programme, Tarski's World 4.0 (Paperback, 3rd Revised edition) Loot Price: R1,036
Discovery Miles 10 360
The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 - Including the Macintosh Programme,...

The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 - Including the Macintosh Programme, Tarski's World 4.0 (Paperback, 3rd Revised edition)

Jon Barwise, John Etchemendy

Series: Center for the Study of Language and Information Publication Lecture Notes, 23

 (sign in to rate)
Loot Price R1,036 Discovery Miles 10 360 | Repayment Terms: R97 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

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.

General

Imprint: Centre for the Study of Language & Information
Country of origin: United States
Series: Center for the Study of Language and Information Publication Lecture Notes, 23
Release date: June 1993
Authors: Jon Barwise • John Etchemendy
Dimensions: 228 x 152 x 23mm (L x W x T)
Format: Paperback - Trade
Pages: 336
Edition: 3rd Revised edition
ISBN-13: 978-0-937073-99-5
Categories: Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Books > Philosophy > Topics in philosophy > Logic
Promotions
LSN: 0-937073-99-7
Barcode: 9780937073995

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Principia Mathematica
Russell Bertrand Russell Hardcover R1,219 Discovery Miles 12 190
Principia Mathematica
Russell Bertrand Russell Hardcover R1,257 Discovery Miles 12 570
Logic from Russell to Church, Volume 5
Dov M. Gabbay, John Woods Hardcover R5,271 Discovery Miles 52 710
Logic for Physicists
Nicolas A Pereyra Paperback R750 Discovery Miles 7 500
Mathematical Logic
Ian Chiswell, Wilfrid Hodges Paperback R2,113 Discovery Miles 21 130
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R108 Discovery Miles 1 080
Elements of Geometry Upon the Inductive…
James Hayward Paperback R462 Discovery Miles 4 620
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R569 Discovery Miles 5 690
Models of Peano Arithmetic
Richard Kaye Hardcover R4,933 Discovery Miles 49 330
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R426 Discovery Miles 4 260
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R522 Discovery Miles 5 220
Arithmetic Simplified
Catharine E. Beecher Hardcover R865 Discovery Miles 8 650

See more

Partners