Del i serien Trends in Logic
Types, Tableaus, and Gödel’s God
Häftad, Engelska, 2012
1 529 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
Mer från samma serie
Logic, Language and Reasoning
Dov M. Gabbay, Uwe Reyle, Hans Jurgen Ohlbach, U. Reyle
Inbunden
1 119 kr
Algebraic Foundations of Many-Valued Reasoning
R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici
Inbunden
1 389 kr
