Types, Tableaus, and Godel’s God - Trends in Logic - M. Fitting - Grāmatas - Springer - 9789401039123 - 2012. gada 11. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Types, Tableaus, and Godel’s God - Trends in Logic Softcover reprint of the original 1st ed. 2002 edition

Cena
€ 128,49

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

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

Not rated yet

Gödel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. A reader interested in (modal) type theory can safelyskip ontological issues, just as one interested in Gödel's argument can omit the more mathematical portions, such as the completeness proof for tableaus.


196 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2012. gada 11. oktobris
ISBN13 9789401039123
Izdevēji Springer
Lapas 181
Izmēri 160 × 240 × 11 mm   ·   285 g

Vairāk no M. Fitting

Rādīt visu

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