Explore Books on
metamathematics

Gödel's proof

By Ernest Nagel,James Roy Newman

Gödel, Escher, Bach

By Douglas R. Hofstadter

Metamagical Themas

By Douglas R. Hofstadter

How to Bake Pi

By Eugenia Cheng

Introduction to metamathematics

By Stephen Cole Kleene

The Mathematics of Logic

By Richard W. Kaye

Metamathematics of first-order arithmetic

By Petr Hájek

Foundations of mathematics

By Erwin Engeler

Metamathematics and the Philosophical Tradition

By William Boos

Natural deduction

By John Mueller Anderson

Theory of Formal Systems

By Raymond M. Smullyan

Unvollständigkeit und Unentscheidbarkeit

By Wolfgang Stegmüller

Mechanism, Mentalism and Metamathematics

By J. Webb

Logic, semantics, metamathematics

By Tarski, Alfred.

Theory of recursive functions and effective computability

By H. Rogers

Introduction to metamathematics

By Stephen Cole Kleene

The mathematics of metamathematics

By Helena Rasiowa

Unvollständigkeit und Unentscheidbarkeit

By Wolfgang Stegmüller

Introduction to model theory and to the metamathematics of algebra

By Abraham Robinson

Matematika i semantika

By L. A. Rvachev

Théorie métamathématique des idéaux

By Abraham Robinson

Introduction to model theory and to the metamathematics of algebra

By Abraham Robinson

Métaphysique mathématique

By Henry Lagrésille

Mathematics of Logic

By Richard Kaye