Pastāsti draugiem par šo preci:
Types, Tableaus, and Godel’s God - Trends in Logic M. Fitting Softcover reprint of the original 1st ed. 2002 edition
Types, Tableaus, and Godel’s God - Trends in Logic
M. Fitting
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 visuVairāk no tā paša izdevēja
Skatīt visus M. Fitting ( piem., Hardcover Book un Paperback Book )