Collected works

QR kȏd

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

Spremljeno u:

Bibliografski detalji
Daljnji autori:	Kurt Godel
Jezik:	Undetermined English
Izdano:	Oxford [Oxfordshire],New York Oxford University Press,Clarendon Press 2003
Teme:	Symbolic and mathematical
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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

Similar Items

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

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

Logic
Izdano: (1980)

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

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

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

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

Các bài toán về suy luận logic
od: Trần, Diên Hiển
Izdano: (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
Izdano: (1953)

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

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

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

Bảy phương pháp giải các bài toán logic
od: Đặng, Huy Ruận
Izdano: (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
Izdano: (1977)

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

Discrete-event system simulation
Izdano: (2001)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The
od: Hall, James
Izdano: (2008)

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

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

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

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

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