Book of Donmon Teith

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical lo

In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some a

A layman's guide to the mechanics of Gödel's proof together with a lucid discussion of the issues which it raises. Includes an essay discussing the significanc

Forever Undecided is the most challenging yet of Raymond Smullyan’s puzzle collections. It is, at the same time, an introduction—ingenious, instructive, ent

A textbook on recursive function theory and G�del's incompleteness theorems. Also covers models of arithmetic and second-order logic.