Collected works
Kurt Godel was one of the most outstanding logicians 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...
Gespeichert in:
| Weitere Verfasser: | Kurt Godel |
|---|---|
| Sprache: | Undetermined English |
| Veröffentlicht: |
Oxford [Oxfordshire],New York
Oxford University Press,Clarendon Press
2003
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Trà Vinh |
|---|
Ähnliche Einträge
-
Logic and Its Applications:
6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
von: Banerjee, Mohua, et al.
Veröffentlicht: (2015) -
How to read and do proofs : an introduction to mathematical thought processes /
von: Solow, Daniel.
Veröffentlicht: (1990) -
Logic
Veröffentlicht: (1980) -
The Road to Universal Logic:
Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
von: Koslow, Arnold, et al.
Veröffentlicht: (2015) -
Mathematics and plausible reasoning
von: Pólya, George
Veröffentlicht: (2013)


