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

Peter Smith examines Gödel's Theorems, how they were established and why they matter.

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

This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory. Following an overview of basic

A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.