Sökt på: Sökresultat
totalt 5 träffar
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 …
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 …
First-Order Modal Logic
Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. …
Allgemeine Physiologie der Nerven und des Zentralnervensystems
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit …
Alice in Puzzle-Land
Characters from Wonderland and Through the Looking-Glass populate these 88 puzzles involving word play, logic and metalogic, and philosophical paradoxes. The charmingly illustrated …