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...
Zapisane w:
| Kolejni autorzy: | |
|---|---|
| Język: | Undetermined English |
| Wydane: |
Oxford [Oxfordshire],New York
Oxford University Press,Clarendon Press
2003
|
| Hasła przedmiotowe: | |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Trà Vinh |
|---|
Napisz pierwszy komentarz!