Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
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 …
Types, Tableaus, and Gödel’s God
inbunden,
2002,
Engelska,
ISBN 9781402006043
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 …