Articles liés à Metalogic: An Introduction to the Metatheory of Standard...
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Geoffrey Hunter, now retired, has taught in the Department of Logic and Metaphysics at the University of St. Andrews, Scotland, and has also taught in Canada, England, the United States, and Wales.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 32,15
EUR 1,06 expédition depuis Etats-Unis vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Metalogic: An Introduction to the Metatheory of Standard...
Image d'archives
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Edité par
University of California Press, 1996
ISBN 10 : 0520023560
ISBN 13 : 9780520023567
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Reno, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.75. N° de réf. du vendeur G0520023560I3N00
Quantité disponible : 1 disponible(s)
Image d'archives
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Edité par
University of California Press, 1996
ISBN 10 : 0520023560
ISBN 13 : 9780520023567
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.75. N° de réf. du vendeur G0520023560I3N00
Quantité disponible : 1 disponible(s)
Image d'archives
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Edité par
University of California Press, 1996
ISBN 10 : 0520023560
ISBN 13 : 9780520023567
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 0.75. N° de réf. du vendeur G0520023560I5N00
Quantité disponible : 1 disponible(s)
Image d'archives
Metalogic : An Introduction to the Metatheory of Standard First Order Logic
Edité par
University of California Press, 1973
ISBN 10 : 0520023560
ISBN 13 : 9780520023567
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 9705294-6
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Edité par
University of California Press, 1996
ISBN 10 : 0520023560
ISBN 13 : 9780520023567
Ancien ou d'occasion
Couverture souple
Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. N° de réf. du vendeur wbs2617607976
Quantité disponible : 1 disponible(s)
Image d'archives
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Edité par
University of California Press, 1973
ISBN 10 : 0520023560
ISBN 13 : 9780520023567
Ancien ou d'occasion
Paperback
Vendeur : Bookmans, Tucson, AZ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Acceptable. Highlighting/Underlining/Notes etc. Some shelf wear Satisfaction 100% guaranteed. N° de réf. du vendeur mon0002655955
Quantité disponible : 1 disponible(s)
Image d'archives
Metalogic
Edité par
University of California Press, 1973
ISBN 10 : 0520023560
ISBN 13 : 9780520023567
Neuf
PAP
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur WF-9780520023567
Quantité disponible : 1 disponible(s)
Image d'archives
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Edité par
University of California Press, 1996
ISBN 10 : 0520023560
ISBN 13 : 9780520023567
Ancien ou d'occasion
Trade Paperback
Vendeur : Benjamin Books, Ottawa, ON, Canada
Évaluation du vendeur 5 sur 5 étoiles
Trade Paperback. Etat : Good to Very Good. N° de réf. du vendeur 17552
Quantité disponible : 1 disponible(s)
Image d'archives
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Edité par
University of California Press, 1996
ISBN 10 : 0520023560
ISBN 13 : 9780520023567
Neuf
Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Num Pages: 302 pages, Ill. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 136 x 209 x 18. Weight in Grams: 354. An Introduction to the Metatheory of Standard First Order Logic. 302 pages, Ill. Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD. Dimension: 136 x 209 x 18. Weight: 338. . 1996. New Ed. Paperback. . . . . N° de réf. du vendeur V9780520023567
Quantité disponible : 1 disponible(s)
Image d'archives
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Edité par
University of California Press, 1996
ISBN 10 : 0520023560
ISBN 13 : 9780520023567
Ancien ou d'occasion
Couverture souple
Vendeur : SecondSale, Montgomery, IL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. N° de réf. du vendeur 00086932879
Quantité disponible : 1 disponible(s)