Zobacz książki o podobnej tematyce

Więcej informacji o Types, Tableaus, and Goedel's God

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 304 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Humanities Philosophy Philosophy: logic

• Pełny tytuł: Types, Tableaus, and Goedel's God
• Autor: Melvin Fitting
• Język: Angielski
• Oprawa: Twarda
• Liczba stron: 181
• EAN: 9781402006043
• ISBN: 9781402006043
• ID: 08348590
• Wydawca: Springer-Verlag New York Inc.
• Waga: 461 g
• Wymiary: 235 × 155 × 16 mm
• Data wydania: 31. May 2002

Ulubione w innej kategorii

---

---

---