Filter
Sökt på: Sökresultat
Filter
1 träff
Types, Tableaus, and Gödel’s God
häftad,
2012,
Engelska,
ISBN 9789401039123
Gödel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it …