An introduction to non-classical logic

Mã QR

An introduction to non-classical logic

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Priest, Graham
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Cambridge, UK Cambridge Univ. Press 2001
Những chủ đề:	Nonclassical mathematical logic
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 tâm Học liệu Trường Đại học Cần Thơ

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

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Bỡi: Aguzzoli, S., et al.
Được phát hành: (2020)

Logic
Bỡi: Priest, Graham
Được phát hành: (2000)

Logic học dẫn luận ngắn = Logic : A very short introduction /
Bỡi: Priest, Graham.
Được phát hành: (2018)

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

Logic học - Dẫn luận ngắn
Bỡi: Priest, Graham
Được phát hành: (2018)

Introduction to logic
Bỡi: Copi, Irving M
Được phát hành: (2005)

Introduction to logic design
Bỡi: Marcovitz, Alan B.
Được phát hành: (2002)

Introduction to logic design
Bỡi: Marcovitz, Alan B.
Được phát hành: (2005)

Introduction to logic design
Bỡi: Marcovitz, Alan B.
Được phát hành: (2005)

Logical Foundations of Computer Science
Bỡi: Artemov, Sergei, et al.
Được phát hành: (2020)

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

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

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

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

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

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

Logic for mathematics and computer sicence
Bỡi: Burris, Stanley N.
Được phát hành: (1998)

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

Introduction to logic and computer design
Bỡi: Alan B. Marcovitz
Đượ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)

Logic, Rationality, and Interaction
Bỡi: Blackburn, Patrick, et al.
Được phát hành: (2020)

Introduction to Logic and Computer Design /
Bỡi: Marcovitz Alan B
Được phát hành: (2007)

Logical Foundations of Cyber-Physical Systems
Bỡi: Platzer, André
Được phát hành: (2020)

Mathematical Logic. 1st ed.
Bỡi: Kossak, Roman
Được phát hành: (2020)

Philosophical and Mathematical Logic. 1st ed.
Bỡi: Swart, Harrie de
Được phát hành: (2020)

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)

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 with engineering applications
Được phát hành: (2004)

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)

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

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)

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

Logic and Its Applications
Được phát hành: (2020)

Non-standard inferences in description logics /
Bỡi: Kusters, Ralf.
Được phát hành: (2001)

From Logic to Practice: Italian Studies in the Philosophy of Mathematics
Bỡi: Lolli, Gabriele, et al.
Được phát hành: (2015)