Types, Tableaus, and Goedel's God - Trends in Logic - M. Fitting - Grāmatas - Springer-Verlag New York Inc. - 9781402006043 - 2002. gada 31. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Types, Tableaus, and Goedel's God - Trends in Logic 2002 edition

Cena
€ 127,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 21. aug. - . gada 4. sept.
Saņemiet paziņojumus par jauniem M. Fitting izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Goedel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Goedel argument is fully formalized.


181 pages, biography

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2002. gada 31. maijs
ISBN13 9781402006043
Izdevēji Springer-Verlag New York Inc.
Lapas 181
Izmēri 155 × 235 × 12 mm   ·   458 g
Valoda Angļu  

Vairāk no M. Fitting

Rādīt visu

Vairāk no tā paša izdevēja