0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Buy Now

Metalogic - An Introduction to the Metatheory of Standard First Order Logic (Paperback, Revised) Loot Price: R1,000
Discovery Miles 10 000
Metalogic - An Introduction to the Metatheory of Standard First Order Logic (Paperback, Revised): Geoffrey Hunter

Metalogic - An Introduction to the Metatheory of Standard First Order Logic (Paperback, Revised)

Geoffrey Hunter

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

Bookmark and Share

Expected to ship within 18 - 22 working days

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.
Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.

General

Imprint: University of California Press
Country of origin: United States
Release date: June 1973
First published: 1973
Authors: Geoffrey Hunter
Dimensions: 210 x 140 x 20mm (L x W x T)
Format: Paperback - Trade
Pages: 302
Edition: Revised
ISBN-13: 978-0-520-02356-7
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Promotions
LSN: 0-520-02356-0
Barcode: 9780520023567

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
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
Theory and Applications of…
Florentin Smarandache, Madeline Al-Tahan Hardcover R6,648 Discovery Miles 66 480
Advances and Applications of Fuzzy Sets…
Said Broumi Hardcover R10,591 Discovery Miles 105 910

See more

Partners