Types, Tableaus, and Gödel’s God
Häftad, Engelska, 2012
Av M. Fitting
1 549 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Finns i fler format (1)
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.
Produktinformation
- Utgivningsdatum2012-10-11
- Mått160 x 240 x 12 mm
- Vikt329 g
- FormatHäftad
- SpråkEngelska
- SerieTrends in Logic
- Antal sidor181
- FörlagSpringer
- ISBN9789401039123
Tillhör följande kategorier
Hoppa över listan