An introduction to Gödel's Theorems

Mã QR

An introduction to Gödel's Theorems

Peter Smith examines Gödel's Theorems, how they were established and why they matter. This is an ideal textbook for philosophy and mathematics students taking a first course in mathematical logic. A companion website is included with exercises.

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Smith, Peter
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Cambridge University 2013
Những chủ đề:	Symbolic and mathematical. Gödel, Kurt
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35945
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ữ:	Thư viện Trường Đại học Đà Lạt

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

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

Thinking about Gödel and Turing : essays on complexity 1970-2007 /
Bỡi: Chaitin, Gregory J.
Được phát hành: (2007)

Định lý Godel Nền tảng của khoa học nhận thức hiện đại
Bỡi: Phạm, Việt Hưng
Được phát hành: (2019)

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

Comparison between experimentally measured and thermodynamically calculated solubilities of UO2 and THO2 in KURT ground water /

Me, myself, and them
Bỡi: Snyder, Kurt
Được phát hành: (2007)

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)

Collected works
Được phát hành: (2003)

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

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

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)

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

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)

A characterization theorem for operators on white noise functionals /
Bỡi: Chung Dong Myung.

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)

Theorems, corollaries, lemmas, and methods of proof
Bỡi: Rossi, Richard J.
Được phát hành: (2006)

On Godel
Bỡi: Hintikka, Jaakko
Được phát hành: (2000)

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)

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)

Propositions, functions, and analysis
Bỡi: Hylton, Peter
Được phát hành: (2008)

A
Bỡi: Peter
Được phát hành: (2004)

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)

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