Mohlo by sa vám tiež páčiť

Viac informácií o knihe Metalogic

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 120 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations

• Celý názov: Metalogic
• Podnázov: An Introduction to the Metatheory of Standard First Order Logic
• Autor: Geoffrey Hunter
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 302
• EAN: 9780520023567
• ISBN: 0520023560
• ID: 04615338
• Nakladateľ: University of California Press
• Hmotnosť: 400 g
• Rozmery: 136 × 209 × 18 mm
• Dátum vydania: 01. July 1992

Obľúbené z iného súdka

---

---

---