Collected works

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

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
Kolejni autorzy:	Kurt Godel
Język:	Undetermined English
Wydane:	Oxford [Oxfordshire],New York Oxford University Press,Clarendon Press 2003
Hasła przedmiotowe:	Symbolic and mathematical
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
od: Banerjee, Mohua, i wsp.
Wydane: (2015)

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

Logic
Wydane: (1980)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
od: Koslow, Arnold, i wsp.
Wydane: (2015)

Mathematics and plausible reasoning
od: Pólya, George
Wydane: (2013)

Logic toán
od: S L Edenmar
Wydane: (1981)

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

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

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

An introduction to symbolic logic
od: Langer, Susanne Katherina
Wydane: (1953)

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

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

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

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

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

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

Discrete-event system simulation
Wydane: (2001)

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

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

Mathematical logic for computer science.
od: Lu Zhungwan
Wydane: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Wydane: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Wydane: (1989)

Collected works.
od: Kodaira, Kunihiko, 1915-
Wydane: (1975)

Collected works.
od: Kodaira, Kunihiko, 1915-
Wydane: (1975)

Collected works.
od: Kodaira, Kunihiko, 1915-
Wydane: (1975)

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

Logic for computer scientists
od: Uwe Schoning
Wydane: (1989)

Discrete mathematics by example
od: Andrew Simpson
Wydane: (2002)

Discrete mathematics
od: Johnsonbaugh, Richard
Wydane: (2005)

Transition to higher mathematics :
od: Dumas , Bob A.
Wydane: (2007)

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

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
od: Chakraborty, M, i wsp.
Wydane: (2015)

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

Logic for mathematics and computer sicence
od: Burris, Stanley N.
Wydane: (1998)

The
od: Hall, James
Wydane: (2008)

A Dictionary of Literary Symbols ( Second edition)
od: Ferber, Michael
Wydane: (2013)

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

Philosophy in a new key :
od: Langer, Suanne K.
Wydane: (1942)

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

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