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

Viac informácií o knihe Types, Tableaus, and Goedel's God

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

Nákupom získate 345 bodov

Anotácia knihy

Godel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. This title presents classical type theory, introduces tableau rules for it and gives the proof of Prawitz/Takahashi.

Parametre knihy

Zaradenie knihy Knihy po anglicky Humanities Philosophy Philosophy: logic

• Celý názov: Types, Tableaus, and Goedel's God
• Autor: Melvin Fitting
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 181
• EAN: 9781402006043
• ISBN: 9781402006043
• ID: 08348590
• Nakladateľ: Springer-Verlag New York Inc.
• Hmotnosť: 461 g
• Rozmery: 235 × 155 × 16 mm
• Dátum vydania: 31. May 2002

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

---

---

---