In the light of logic

Mã QR

In the light of logic

In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborate...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Feferma, Solomon
Tác giả khác:	Solomon Feferma
Ngôn ngữ:	Undetermined English
Được phát hành:	New York Oxford University Press 1998
Những chủ đề:	Mathematical
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ữ:	Trung tâm Học liệu Trường Đại học Trà Vinh

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

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

Tập hợp và logic :
Bỡi: Hoàng, Xuân Sính
Được phát hành: (1998)

Logic toán
Bỡi: S L Edenmar
Được phát hành: (1981)

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)

Fuzzy logic with engineering applications
Bỡi: Ross, Timothy J.
Được phát hành: (1995)

Fuzzy logic with engineering applications
Bỡi: Ross, Timothy J.
Được phát hành: (1997)

Logic and discrete mathematics
Bỡi: Winfried Karl Grassmann
Được phát hành: (1996)

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

Nonstandard logics and nonstandard metrics in physics /
Bỡi: Honig, William M.
Được phát hành: (1995)

Nonstandard logics and nonstandard metrics in physics /
Bỡi: Honig, William M.
Được phát hành: (1995)

Logic mờ và ứng dụng
Bỡi: Bouchon-Meunier, Bernadette
Được phát hành: (2007)

An introduction to non-classical logic
Bỡi: Priest, Graham
Được phát hành: (2001)

Analysis and logic
Được phát hành: (2002)

Logic for computer scientists
Bỡi: Uwe Schoning
Được phát hành: (1989)

Fuzzy logic with engineering applications
Được phát hành: (2004)

Symbolic logic
Bỡi: Agler, David W
Được phát hành: (2013)

Computability and logic
Bỡi: Boolos, George
Được phát hành: (2002)

Logic for mathematics and computer sicence
Bỡi: Burris, Stanley N.
Đượ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: (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)

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)

Logic and language models for computer science
Bỡi: Henry Hamburger
Được phát hành: (2002)

Điều khiển Logic và ứng dụng
Bỡi: Nguyễn, Trọng Thuần
Được phát hành: (2006)

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)

Bài giảng cơ sở logic và tập hợp
Bỡi: Lê, Văn Sáng
Được phát hành: (2000)

Nonstandard logics and nonstandard metrics in physics
Bỡi: Honig, William M
Được phát hành: (1995)

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

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)

Fuzzy logic applications in engineering science
Bỡi: Harris, J. (John)
Được phát hành: (2006)

Giáo trình Logic mờ & ứng dụng
Bỡi: Lê, Xuân Vinh
Được phát hành: (2019)

Điều khiển logic và ứng dụng
Bỡi: Nguyễn, Trọng Thuần
Được phát hành: (2004)

Fuzzy logic and optimization
Được phát hành: (2006)

Logically determined design :
Bỡi: Fant, Karl M.
Được phát hành: (2005)

Nonstandard logics and nonstandard metrics in physics
Bỡi: Honig, William M
Được phát hành: (1995)

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)

Điều khiển logic và ứng dụng; T1
Bỡi: Nguyễn Trọng Thuần
Được phát hành: (2000)

Designing with light : An introduction to stage lighting
Bỡi: Gillette, J. Michael
Được phát hành: (2008)

Giáo trình lý thuyết tập hợp và logic toán
Bỡi: Lê, Phương Thảo
Được phát hành: (2016)