Collected works. Volume II, Publications 1938-1974 /

Kurt Gödel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem...

Full description

Bibliographic Details

Main Author:	Gödel, Kurt (Author)
Corporate Author:	Association for Symbolic Logic (associated with work.)
Other Authors:	Feferman, Solomon (Editor)
Format:	eBook
Language:	English
Published:	Oxford : Oxford University Press, 2023.
Subjects:	Logic, Symbolic and mathematical. Logique symbolique et mathématique. Logic, Symbolic and mathematical Mathematics. Electronic books.
Online Access:	Connect to the full text of this electronic book