This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theo

Traces the development of recursive functions from their origins in the late nineteenth century to the mid-1930s, with particular emphasis on the work and influ

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

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results focuses on basic concepts and results of mathematical logic and the study of