ロード中...
Kurt Gödel and the foundations of mathematics : horizons of truth /
"This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom...
その他の著者: | |
---|---|
フォーマット: | Printed Book |
言語: | English |
出版事項: |
New York :
Cambridge University Press,
2014.
|
主題: | |
オンライン・アクセス: | http://www.loc.gov/catdir/toc/fy12pdf01/2010048055.html |
インターネット
http://www.loc.gov/catdir/toc/fy12pdf01/2010048055.htmlUniversity of Calicut
請求記号: |
511.3 KUR |
---|---|
所蔵 | ステータス情報は利用できません |