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

Fuld beskrivelse

Đã lưu trong:

Bibliografiske detaljer
Andre forfattere:	Kurt Godel
Sprog:	Undetermined English
Udgivet:	Oxford [Oxfordshire],New York Oxford University Press,Clarendon Press 2003
Fag:	Symbolic and mathematical
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
af: Banerjee, Mohua, et al.
Udgivet: (2015)

How to read and do proofs : an introduction to mathematical thought processes /
af: Solow, Daniel.
Udgivet: (1990)

Logic
Udgivet: (1980)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
af: Koslow, Arnold, et al.
Udgivet: (2015)

Mathematics and plausible reasoning
af: Pólya, George
Udgivet: (2013)

Logic toán
af: S L Edenmar
Udgivet: (1981)

Bước đầu làm quen với logic toán
af: Nguyễn Mạnh Trinh
Udgivet: (1997)

Các bài toán về suy luận logic
af: Trần, Diên Hiển
Udgivet: (2000)

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

An introduction to symbolic logic
af: Langer, Susanne Katherina
Udgivet: (1953)

Cơ sở toán trong lập trình
af: Đỗ Đức Giáo
Udgivet: (1998)

Bước đầu làm quen với logic toán
af: Nguyễn Mạnh Trinh
Udgivet: (1999)

Một số vấn đề về thuật toán
af: Nguyễn, Hữu Điển
Udgivet: (2006)

Bảy phương pháp giải các bài toán logic
af: Đặng, Huy Ruận
Udgivet: (2002)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
af: Hoàng Chúng
Udgivet: (1977)

Tập hợp và logic :
af: Hoàng, Xuân Sính
Udgivet: (1998)

Discrete-event system simulation
Udgivet: (2001)

An introduction to Gödel's Theorems
af: Smith, Peter
Udgivet: (2013)

Toán rời rạc ứng dụng trong tin học =
af: Rosen, Kenneth H.
Udgivet: (2002)

Mathematical logic for computer science.
af: Lu Zhungwan
Udgivet: (1989)

Mathematical logic for computer science /
af: Lu, Zhongwan.
Udgivet: (1989)

Mathematical logic for computer science /
af: Lu, Zhongwan.
Udgivet: (1989)

Collected works.
af: Kodaira, Kunihiko, 1915-
Udgivet: (1975)

Collected works.
af: Kodaira, Kunihiko, 1915-
Udgivet: (1975)

Collected works.
af: Kodaira, Kunihiko, 1915-
Udgivet: (1975)

Nhập môn lý thuyết tập hợp và logic
af: Phan Hữu Chân
Udgivet: (1977)

Logic for computer scientists
af: Uwe Schoning
Udgivet: (1989)

Discrete mathematics by example
af: Andrew Simpson
Udgivet: (2002)

Discrete mathematics
af: Johnsonbaugh, Richard
Udgivet: (2005)

Transition to higher mathematics :
af: Dumas , Bob A.
Udgivet: (2007)

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
af: van Atten, Mark
Udgivet: (2015)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
af: Chakraborty, M, et al.
Udgivet: (2015)

Cơ sở lí thuyết tập hợp và lôgic toán :
af: Trần, Diên Hiển
Udgivet: (2007)

Logic for mathematics and computer sicence
af: Burris, Stanley N.
Udgivet: (1998)

The
af: Hall, James
Udgivet: (2008)

A Dictionary of Literary Symbols ( Second edition)
af: Ferber, Michael
Udgivet: (2013)

Từ điển biểu tượng văn hóa thế giới :
af: Chevalier, Jean
Udgivet: (2002)

Philosophy in a new key :
af: Langer, Suanne K.
Udgivet: (1942)

Từ điển biểu tượng văn hóa thế giới
af: Jean Chevalier
Udgivet: (1997)

Từ điển biểu tượng văn hóa thế giới (Phụ lục)
af: Jean Chevalier
Udgivet: (1997)