Types, Tableaus, and Godel’s God
M. Fitting
Springer, 2012
129,25 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9789401039123
- ISBN-10
- 9401039127
- Publisher
- Springer
- Year
- 2012
- Publication date
- 2012-10-11
- Pages
- 181
- Dimensions
- 240x160x