An introduction to non-classical logic

Côd QR

An introduction to non-classical logic

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Priest, Graham
Fformat:	Llyfr
Iaith:	Undetermined
Cyhoeddwyd:	Cambridge, UK Cambridge Univ. Press 2001
Pynciau:	Nonclassical mathematical logic
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Eitemau Tebyg

Algebraic and Proof-theoretic Aspects of Non-classical Logics
gan: Aguzzoli, S., et al.
Cyhoeddwyd: (2020)

Logic
gan: Priest, Graham
Cyhoeddwyd: (2000)

Logic học dẫn luận ngắn = Logic : A very short introduction /
gan: Priest, Graham.
Cyhoeddwyd: (2018)

An introduction to symbolic logic
gan: Langer, Susanne Katherina
Cyhoeddwyd: (1953)

Logic học - Dẫn luận ngắn
gan: Priest, Graham
Cyhoeddwyd: (2018)

Introduction to logic
gan: Copi, Irving M
Cyhoeddwyd: (2005)

Introduction to logic design
gan: Marcovitz, Alan B.
Cyhoeddwyd: (2002)

Introduction to logic design
gan: Marcovitz, Alan B.
Cyhoeddwyd: (2005)

Introduction to logic design
gan: Marcovitz, Alan B.
Cyhoeddwyd: (2005)

Logical Foundations of Computer Science
gan: Artemov, Sergei, et al.
Cyhoeddwyd: (2020)

Logic for computer scientists
gan: Uwe Schoning
Cyhoeddwyd: (1989)

Logic
Cyhoeddwyd: (1980)

Logic mờ và ứng dụng
gan: Bouchon-Meunier, Bernadette
Cyhoeddwyd: (2007)

Symbolic logic
gan: Agler, David W
Cyhoeddwyd: (2013)

Logic toán
gan: S L Edenmar
Cyhoeddwyd: (1981)

Giáo trình Logic mờ & ứng dụng
gan: Lê, Xuân Vinh
Cyhoeddwyd: (2019)

Logic for mathematics and computer sicence
gan: Burris, Stanley N.
Cyhoeddwyd: (1998)

Introduction to logic and computer design
gan: Alan B. Marcovitz
Cyhoeddwyd: (2008)

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

Giáo trình lý thuyết tập hợp và logic toán
gan: Lê, Phương Thảo
Cyhoeddwyd: (2016)

Introduction to Logic and Computer Design /
gan: Marcovitz Alan B
Cyhoeddwyd: (2007)

Logic, Rationality, and Interaction
gan: Blackburn, Patrick, et al.
Cyhoeddwyd: (2020)

Logical Foundations of Cyber-Physical Systems
gan: Platzer, André
Cyhoeddwyd: (2020)

Mathematical Logic. 1st ed.
gan: Kossak, Roman
Cyhoeddwyd: (2020)

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

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

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

Philosophical and Mathematical Logic. 1st ed.
gan: Swart, Harrie de
Cyhoeddwyd: (2020)

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

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

Fuzzy logic with engineering applications
Cyhoeddwyd: (2004)

Mathematical logic for computer science.
gan: Lu Zhungwan
Cyhoeddwyd: (1989)

Mathematical logic for computer science /
gan: Lu, Zhongwan.
Cyhoeddwyd: (1989)

Mathematical logic for computer science /
gan: Lu, Zhongwan.
Cyhoeddwyd: (1989)

Computability and logic
gan: Boolos, George
Cyhoeddwyd: (2002)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
gan: Koslow, Arnold, et al.
Cyhoeddwyd: (2015)

Non-standard inferences in description logics /
gan: Kusters, Ralf.
Cyhoeddwyd: (2001)

Điều khiển Logic và ứng dụng
gan: Nguyễn, Trọng Thuần
Cyhoeddwyd: (2006)

Logic and Its Applications
Cyhoeddwyd: (2020)

From Logic to Practice: Italian Studies in the Philosophy of Mathematics
gan: Lolli, Gabriele, et al.
Cyhoeddwyd: (2015)