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.
Den günstigsten Preis finden und bei jedem Kauf sparen
Alle Angebote sofort an einem Ort sehen
Bei geprüften und zuverlässigen Händlern kaufen
University Of California Press Hunter, G: Metalogic von University Of California Press bei 1 Shop in der Schweiz vergleichen. Preise von CHF 52.90 bis CHF 52.90. in der Kategorie Bücher & Zeitschriften.
Erhältlich bei Orellfuessli.ch. Klicken Sie auf den Shop Ihrer Wahl zum Kauf. Wir aktualisieren die Preise regelmässig für das beste Angebot.