Verwandte Artikel zu Metalogic: An Introduction to the Metatheory of Standard...
Críticas
"A remarkable book, in a class by itself among logic books. It has the ideal combination of readability, thoroughness, and preciseness. . . . Recommended not only as a first course text, but also as painless, indeed pleasurable reading."--"Computing Reviews
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Metalogic: An Introduction to the Metatheory of Standard...
Foto des Verkäufers
Metalogic _ An Introduction to the Metatheory of Standard First-Order Logic
Anbieter: San Francisco Book Company, Paris, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. Paperback Octavo. wraps, 288 pp covers worn on the edges foxing on the edges Standard shipping (no tracking or insurance) / Priority (with tracking) / Custom quote for large or heavy orders. Bestandsnummer des Verkäufers 100184
Anzahl: 1 verfügbar