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...
Enregistré dans:
| Autres auteurs: | Kurt Godel |
|---|---|
| Langue: | Undetermined English |
| Publié: |
Oxford [Oxfordshire],New York
Oxford University Press,Clarendon Press
2003
|
| Sujets: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Trà Vinh |
|---|
Documents similaires
-
Logic and Its Applications:
6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
par: Banerjee, Mohua, et autres
Publié: (2015) -
How to read and do proofs : an introduction to mathematical thought processes /
par: Solow, Daniel.
Publié: (1990) -
Logic
Publié: (1980) -
The Road to Universal Logic:
Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
par: Koslow, Arnold, et autres
Publié: (2015) -
Mathematics and plausible reasoning
par: Pólya, George
Publié: (2013)


