Collected works

Côd 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...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Awduron Eraill:	Kurt Godel
Iaith:	Undetermined English
Cyhoeddwyd:	Oxford [Oxfordshire],New York Oxford University Press,Clarendon Press 2003
Pynciau:	Symbolic and mathematical
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

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

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

Logic
Cyhoeddwyd: (1980)

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

Mathematics and plausible reasoning
gan: Pólya, George
Cyhoeddwyd: (2013)

Logic toán
gan: S L Edenmar
Cyhoeddwyd: (1981)

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

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

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

An introduction to symbolic logic
gan: Langer, Susanne Katherina
Cyhoeddwyd: (1953)

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

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

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

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

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

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

Discrete-event system simulation
Cyhoeddwyd: (2001)

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

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

Mathematical logic for computer science.
gan: Lu Zhungwan
Cyhoeddwyd: (1989)

Mathematical logic for computer science /
gan: Lu, Zhongwan.
Cyhoeddwyd: (1989)

Mathematical logic for computer science /
gan: Lu, Zhongwan.
Cyhoeddwyd: (1989)

Collected works.
gan: Kodaira, Kunihiko, 1915-
Cyhoeddwyd: (1975)

Collected works.
gan: Kodaira, Kunihiko, 1915-
Cyhoeddwyd: (1975)

Collected works.
gan: Kodaira, Kunihiko, 1915-
Cyhoeddwyd: (1975)

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

Logic for computer scientists
gan: Uwe Schoning
Cyhoeddwyd: (1989)

Discrete mathematics by example
gan: Andrew Simpson
Cyhoeddwyd: (2002)

Discrete mathematics
gan: Johnsonbaugh, Richard
Cyhoeddwyd: (2005)

Transition to higher mathematics :
gan: Dumas , Bob A.
Cyhoeddwyd: (2007)

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

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

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

Logic for mathematics and computer sicence
gan: Burris, Stanley N.
Cyhoeddwyd: (1998)

The
gan: Hall, James
Cyhoeddwyd: (2008)

A Dictionary of Literary Symbols ( Second edition)
gan: Ferber, Michael
Cyhoeddwyd: (2013)

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

Philosophy in a new key :
gan: Langer, Suanne K.
Cyhoeddwyd: (1942)

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

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