Collected works

Mã QR

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

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả khác:	Kurt Godel
Ngôn ngữ:	Undetermined English
Được phát hành:	Oxford [Oxfordshire],New York Oxford University Press,Clarendon Press 2003
Những chủ đề:	Symbolic and mathematical
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Trà Vinh

Những quyển sách tương tự

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Bỡi: Banerjee, Mohua, et al.
Được phát hành: (2015)

How to read and do proofs : an introduction to mathematical thought processes /
Bỡi: Solow, Daniel.
Được phát hành: (1990)

Logic
Được phát hành: (1980)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
Bỡi: Koslow, Arnold, et al.
Được phát hành: (2015)

Mathematics and plausible reasoning
Bỡi: Pólya, George
Được phát hành: (2013)

Logic toán
Bỡi: S L Edenmar
Được phát hành: (1981)

Bước đầu làm quen với logic toán
Bỡi: Nguyễn Mạnh Trinh
Được phát hành: (1997)

Các bài toán về suy luận logic
Bỡi: Trần, Diên Hiển
Được phát hành: (2000)

Bảy phương pháp giải các bài toán logic
Bỡi: Đặng Huy Ruận

An introduction to symbolic logic
Bỡi: Langer, Susanne Katherina
Được phát hành: (1953)

Cơ sở toán trong lập trình
Bỡi: Đỗ Đức Giáo
Được phát hành: (1998)

Bước đầu làm quen với logic toán
Bỡi: Nguyễn Mạnh Trinh
Được phát hành: (1999)

Một số vấn đề về thuật toán
Bỡi: Nguyễn, Hữu Điển
Được phát hành: (2006)

Bảy phương pháp giải các bài toán logic
Bỡi: Đặng, Huy Ruận
Được phát hành: (2002)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
Bỡi: Hoàng Chúng
Được phát hành: (1977)

Tập hợp và logic :
Bỡi: Hoàng, Xuân Sính
Được phát hành: (1998)

Discrete-event system simulation
Được phát hành: (2001)

An introduction to Gödel's Theorems
Bỡi: Smith, Peter
Được phát hành: (2013)

Toán rời rạc ứng dụng trong tin học =
Bỡi: Rosen, Kenneth H.
Được phát hành: (2002)

Mathematical logic for computer science.
Bỡi: Lu Zhungwan
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Mathematical logic for computer science /
Bỡi: Lu, Zhongwan.
Được phát hành: (1989)

Collected works.
Bỡi: Kodaira, Kunihiko, 1915-
Được phát hành: (1975)

Collected works.
Bỡi: Kodaira, Kunihiko, 1915-
Được phát hành: (1975)

Collected works.
Bỡi: Kodaira, Kunihiko, 1915-
Được phát hành: (1975)

Nhập môn lý thuyết tập hợp và logic
Bỡi: Phan Hữu Chân
Được phát hành: (1977)

Logic for computer scientists
Bỡi: Uwe Schoning
Được phát hành: (1989)

Discrete mathematics by example
Bỡi: Andrew Simpson
Được phát hành: (2002)

Discrete mathematics
Bỡi: Johnsonbaugh, Richard
Được phát hành: (2005)

Transition to higher mathematics :
Bỡi: Dumas , Bob A.
Được phát hành: (2007)

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
Bỡi: van Atten, Mark
Được phát hành: (2015)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
Bỡi: Chakraborty, M, et al.
Được phát hành: (2015)

Cơ sở lí thuyết tập hợp và lôgic toán :
Bỡi: Trần, Diên Hiển
Được phát hành: (2007)

Logic for mathematics and computer sicence
Bỡi: Burris, Stanley N.
Được phát hành: (1998)

The
Bỡi: Hall, James
Được phát hành: (2008)

A Dictionary of Literary Symbols ( Second edition)
Bỡi: Ferber, Michael
Được phát hành: (2013)

Từ điển biểu tượng văn hóa thế giới :
Bỡi: Chevalier, Jean
Được phát hành: (2002)

Philosophy in a new key :
Bỡi: Langer, Suanne K.
Được phát hành: (1942)

Từ điển biểu tượng văn hóa thế giới
Bỡi: Jean Chevalier
Được phát hành: (1997)

Từ điển biểu tượng văn hóa thế giới (Phụ lục)
Bỡi: Jean Chevalier
Được phát hành: (1997)