Metamathematics

92 books
Gödel, Escher, BachDouglas R. Hofstadter
⏱ 12h 57m

Gödel, Escher, Bach

Douglas R. Hofstadter

1979777 pp.
Gödel's proofErnest Nagel
⏱ 1h 58m

Gödel's proof

Ernest Nagel

1958118 pp.
Metamagical ThemasDouglas R. Hofstadter
⏱ 14h 12m

Metamagical Themas

Douglas R. Hofstadter

1985852 pp.
How to Bake PiEugenia Cheng
⏱ 4h 48m

How to Bake Pi

Eugenia Cheng

2015288 pp.
Introduction to metamathematicsStephen Cole Kleene
⏱ 9h 10m

Introduction to metamathematics

Stephen Cole Kleene

1952550 pp.
Theory of Formal SystemsRaymond M. Smullyan
⏱ 2h 32m

Theory of Formal Systems

Raymond M. Smullyan

1961152 pp.
Introduction to metamathematicsStephen Cole Kleene
⏱ 9h 10m

Introduction to metamathematics

Stephen Cole Kleene

1952550 pp.
Metamathematics of first-order arithmeticPetr Hájek
⏱ 7h 47m

Metamathematics of first-order arithmetic

Petr Hájek

1993467 pp.
Unvollständigkeit und UnentscheidbarkeitWolfgang Stegmüller
⏱ 1h 54m

Unvollständigkeit und Unentscheidbarkeit

Wolfgang Stegmüller

1959114 pp.
Unvollständigkeit und UnentscheidbarkeitWolfgang Stegmüller
⏱ 1h 54m

Unvollständigkeit und Unentscheidbarkeit

Wolfgang Stegmüller

1959114 pp.
Metamathematics and the Philosophical TraditionWilliam Boos
⏱ 8h 12m

Metamathematics and the Philosophical Tradition

William Boos

2018492 pp.
Métaphysique mathématiqueHenry Lagrésille
⏱ 2h 27m

Métaphysique mathématique

Henry Lagrésille

1898147 pp.
Metamathematik der ElementarmathematikErwin Engeler
⏱ 2h 17m

Metamathematik der Elementarmathematik

Erwin Engeler

1983137 pp.
Undecidable theoriesAlfred Tarski

Undecidable theories

Alfred Tarski

2010No page data
The mathematics of metamathematicsHelena Rasiowa
⏱ 8h 39m

The mathematics of metamathematics

Helena Rasiowa

1963519 pp.
Mechanism, Mentalism and MetamathematicsJ. Webb
⏱ 5h 0m

Mechanism, Mentalism and Metamathematics

J. Webb

2010300 pp.
Logic, semantics, metamathematicsTarski, Alfred.
⏱ 7h 51m

Logic, semantics, metamathematics

Tarski, Alfred.

1956471 pp.
MétamathématiquePaul Lorenzen
⏱ 2h 47m

Métamathématique

Paul Lorenzen

1967167 pp.
Metamathematische Methoden in der GeometrieW. Schwabhäuser
⏱ 8h 2m

Metamathematische Methoden in der Geometrie

W. Schwabhäuser

1983482 pp.
The Mathematics of LogicRichard W. Kaye
⏱ 3h 31m

The Mathematics of Logic

Richard W. Kaye

2007211 pp.
Page 1 of 5Next →