Filter

Metamathematics

91 books found

Gödel's proof
Gödel's proof

by Ernest Nagel, James Roy Newman

1958 41 ed.
Gödel, Escher, Bach
Gödel, Escher, Bach

by Douglas R. Hofstadter

1979 30 ed.
Metamagical Themas
Metamagical Themas

by Douglas R. Hofstadter

1985 15 ed.
How to Bake Pi
How to Bake Pi

by Eugenia Cheng

2015 8 ed.
Introduction to metamathematics
Introduction to metamathematics

by Stephen Cole Kleene

1952 7 ed.
The Mathematics of Logic
The Mathematics of Logic

by Richard W. Kaye

2007 6 ed.
Metamathematics of first-order arithmetic
Metamathematics of first-order arithmetic

by Petr Hájek

1993 5 ed.
Natural deduction
Natural deduction

by John Mueller Anderson

1962 4 ed.
Foundations of mathematics
Foundations of mathematics

by Erwin Engeler

1993 4 ed.
Theory of Formal Systems
Theory of Formal Systems

by Raymond M. Smullyan

1961 4 ed.
Metamathematics and the Philosophical Tradition
Metamathematics and the Philosophical Tradition

by William Boos

2018 4 ed.
Unvollständigkeit und Unentscheidbarkeit
Unvollständigkeit und Unentscheidbarkeit

by Wolfgang Stegmüller

1959 3 ed.
The mathematics of metamathematics
The mathematics of metamathematics

by Helena Rasiowa

1963 3 ed.
Unvollständigkeit und Unentscheidbarkeit
Unvollständigkeit und Unentscheidbarkeit

by Wolfgang Stegmüller

1959 3 ed.
Introduction to model theory and to the metamathematics of algebra
Introduction to model theory and to the metamathematics of a...

by Abraham Robinson

1963 3 ed.
Logic, semantics, metamathematics
Logic, semantics, metamathematics

by Tarski, Alfred.

1956 3 ed.
Introduction to metamathematics
Introduction to metamathematics

by Stephen Cole Kleene

1952 3 ed.
Theory of recursive functions and effective computability
Theory of recursive functions and effective computability

by H. Rogers

1957 3 ed.
Mechanism, Mentalism and Metamathematics
Mechanism, Mentalism and Metamathematics

by J. Webb

2010 3 ed.
Wahrheit und Beweisbarkeit 2. Kompendium zum Werk
Wahrheit und Beweisbarkeit 2. Kompendium zum Werk

by Kurt Gödel

2002 2 ed.