📖 Gödel's proof

Author

Ernest Nagel

First published

1958

Editions in the catalogue

41

Catalogue id

OL5567662W

This is a library's record of the work, not a copy of it: everything above is what the Open Library entry states, and the numbers are the catalogue's own. No book text is reproduced here, and the cover, when one appears, is linked from the Internet Archive's own image service rather than copied onto this site.

Copies the catalogue knows about

A link to archive.org means the Internet Archive holds that scan or edition. Whether you can read it in full, borrow it, or only view its contents depends on their licensing and on where you are — the page will tell you when you get there.

What the catalogue tags it with

Gödel's theoremMathematicsMetamathematicsGödel, Théorème deLogique symbolique et mathématiquePhilosophieMathématiquesGoedel's theoremThéorème de GödelPhilosophySymbolic and Mathematical LogicDecidability (Mathematical logic)

On our lists

This work appears on LogicSymbolic and Mathematical Logic.

Metadata from Open Library (CC0) · retrieved 24 Oct 2026 UTC.