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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Oxford :
Oxford University Press,
2023.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
