Mohlo by se vám také líbit

Více informací o knize Metalogic

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 93 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Metalogic
• Podnázev: An Introduction to the Metatheory of Standard First Order Logic
• Autor: Geoffrey Hunter
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 302
• EAN: 9780520023567
• ISBN: 0520023560
• ID: 04615338
• Nakladatelství: University of California Press
• Hmotnost: 400 g
• Rozměry: 136 × 209 × 18 mm
• Datum vydání: 01. July 1992

Oblíbené z jiného soudku

---

---

---