Faithin Omaha eBook Collection

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

This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.

The main purpose of this book is to present a unified treatment of fixed points as they occur in Godel's incompleteness proofs, recursion theory, combinatory lo

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

Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple a