Explore Books on
gödel's theorem

Gödel's proof

By Ernest Nagel,James Roy Newman

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit

By Hans Hermes

Satan, cantor, and infinity

By Raymond M. Smullyan

Forever undecided

By Raymond M. Smullyan

The large, the small and the human mind

By Roger Penrose

Shadows of the mind

By Roger Penrose

Godel's Theorem in Focus

By S. G. Shanker

Gödel's theorem

By Torkel Franzén

Incompleteness

By Rebecca Goldstein

Kurt Gödel and the foundations of mathematics

By Matthias Baaz

Journey to the Edge of Reason

By Stephen Budiansky

Sentences undecidable in formalized arithmetic

By Andrzej Mostowski

Gödel's incompleteness theorems

By Raymond M. Smullyan

Metamathematics, machines, and Gödel's proof

By N. Shankar

The Gödelian puzzle book

By Raymond M. Smullyan

Computability

By Richard L. Epstein,Walter A. Carnielli

Jungian archetypes

By Robertson, Robin

On formally undecidable propositions of Principia mathematica and related systems

By Kurt Gödel

Il teorema di Goedel e le antinomie negative

By Italo Aimonetto

A decision method for elementary algebra and geometry

By Tarski, Alfred.

Impossibility

By John D. Barrow

Au citoyen Gustave Arthur Dassonville

By Robert Ganzo

Word problems II

By S. I. Adi͡an

Undecidable theories

By Tarski, Alfred.