Sökt på: Sökresultat
totalt 4 träffar
Set Theory and the Continuum Problem
Set Theory and the Continuum Problem is a novel introduction to set theory, including axiomatic development, consistency, and independence results. It is self-contained and covers …
Proof Methods for Modal and Intuitionistic Logics
"Necessity is the mother of invention. " Part I: What is in this book - details. There are several different types of formal proof procedures that logicians have invented. The ones …
Types, Tableaus, and Gödel’s God
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 …
First-Order Modal Logic
This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star …