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: R740
Discovery Miles 7 400
You Save: R60 (7%)
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)
List price R800 Loot Price R740 Discovery Miles 7 400 | Repayment Terms: R69 pm x 12* You Save R60 (7%)

Bookmark and Share

Expected to ship within 12 - 17 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,243 Discovery Miles 12 430
Principia Mathematica
Russell Bertrand Russell Hardcover R1,282 Discovery Miles 12 820
Goedel's Disjunction - The scope and…
Leon Horsten, Philip Welch Hardcover R4,294 Discovery Miles 42 940
The Yablo Paradox - An Essay on…
Roy T. Cook Hardcover R2,703 Discovery Miles 27 030
Foundations without Foundationalism - A…
Stewart Shapiro Hardcover R5,225 Discovery Miles 52 250
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R579 Discovery Miles 5 790
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R435 Discovery Miles 4 350
The Art of Logic - How to Make Sense in…
Eugenia Cheng Paperback  (1)
R355 R317 Discovery Miles 3 170
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R85 Discovery Miles 850
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R531 Discovery Miles 5 310
Algebras, Lattices, Varieties - Volume…
Ralph S Freese, Ralph N. McKenzie, … Paperback R3,219 Discovery Miles 32 190
Theory and Applications of…
Florentin Smarandache, Madeline Al-Tahan Hardcover R7,211 Discovery Miles 72 110

See more

Partners