Đang tải...

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...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả khác: Baaz, Matthias
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: New York : Cambridge University Press, 2014.
Những chủ đề:
Truy cập trực tuyến:http://www.loc.gov/catdir/toc/fy12pdf01/2010048055.html

Internet

http://www.loc.gov/catdir/toc/fy12pdf01/2010048055.html

University of Calicut

Chi tiết quỹ từ University of Calicut
Số hiệu: 511.3 KUR
Sao chép Trạng thái trực tiếp không khả dụng