Liknande böcker

Memoirs Of A Proof Theorist: Godel & Other Logicians
Bok av Passell Nicholas Passell
Hybrid logic and its proof-theory
Bok av Torben. Braüner
An Introduction to Gödel's Theorems
Bok av Peter. Smith
History of Mathematical Proof in Ancient Traditions
Bok av Karine Chemla
Computational Logic and Human Thinking : How to Be Artificially Intelligent
Bok av Robert Kowalski
An introduction to non-classical logic
Bok av Graham Priest
Logical Reasoning with Diagrams
Bok av Jon. Barwise
Introduction to Many
Bok av Merrie Bergmann

Reflections on Kurt Goedel

Bok av Hao Wang