An introduction to non-classical logic

QR Code (код быстрого отклика)

An introduction to non-classical logic

Сохранить в:

Библиографические подробности
Главный автор:	Priest, Graham
Формат:	‌
Язык:	Undetermined
Опубликовано:	Cambridge, UK Cambridge Univ. Press 2001
Предметы:	Nonclassical mathematical logic
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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

Схожие документы

Algebraic and Proof-theoretic Aspects of Non-classical Logics
по: Aguzzoli, S., et al.
Опубликовано: (2020)

Logic
по: Priest, Graham
Опубликовано: (2000)

Logic học dẫn luận ngắn = Logic : A very short introduction /
по: Priest, Graham.
Опубликовано: (2018)

An introduction to symbolic logic
по: Langer, Susanne Katherina
Опубликовано: (1953)

Logic học - Dẫn luận ngắn
по: Priest, Graham
Опубликовано: (2018)

Introduction to logic
по: Copi, Irving M
Опубликовано: (2005)

Introduction to logic design
по: Marcovitz, Alan B.
Опубликовано: (2002)

Introduction to logic design
по: Marcovitz, Alan B.
Опубликовано: (2005)

Introduction to logic design
по: Marcovitz, Alan B.
Опубликовано: (2005)

Logical Foundations of Computer Science
по: Artemov, Sergei, et al.
Опубликовано: (2020)

Logic for computer scientists
по: Uwe Schoning
Опубликовано: (1989)

Logic
Опубликовано: (1980)

Logic mờ và ứng dụng
по: Bouchon-Meunier, Bernadette
Опубликовано: (2007)

Symbolic logic
по: Agler, David W
Опубликовано: (2013)

Logic toán
по: S L Edenmar
Опубликовано: (1981)

Giáo trình Logic mờ & ứng dụng
по: Lê, Xuân Vinh
Опубликовано: (2019)

Logic for mathematics and computer sicence
по: Burris, Stanley N.
Опубликовано: (1998)

Introduction to logic and computer design
по: Alan B. Marcovitz
Опубликовано: (2008)

Tập hợp và logic :
по: Hoàng, Xuân Sính
Опубликовано: (1998)

Giáo trình lý thuyết tập hợp và logic toán
по: Lê, Phương Thảo
Опубликовано: (2016)

Introduction to Logic and Computer Design /
по: Marcovitz Alan B
Опубликовано: (2007)

Logic, Rationality, and Interaction
по: Blackburn, Patrick, et al.
Опубликовано: (2020)

Logical Foundations of Cyber-Physical Systems
по: Platzer, André
Опубликовано: (2020)

Mathematical Logic. 1st ed.
по: Kossak, Roman
Опубликовано: (2020)

Bước đầu làm quen với logic toán
по: Nguyễn Mạnh Trinh
Опубликовано: (1997)

Các bài toán về suy luận logic
по: Trần, Diên Hiển
Опубликовано: (2000)

Bước đầu làm quen với logic toán
по: Nguyễn Mạnh Trinh
Опубликовано: (1999)

Philosophical and Mathematical Logic. 1st ed.
по: Swart, Harrie de
Опубликовано: (2020)

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

Bảy phương pháp giải các bài toán logic
по: Đặng, Huy Ruận
Опубликовано: (2002)

Fuzzy logic with engineering applications
Опубликовано: (2004)

Mathematical logic for computer science.
по: Lu Zhungwan
Опубликовано: (1989)

Mathematical logic for computer science /
по: Lu, Zhongwan.
Опубликовано: (1989)

Mathematical logic for computer science /
по: Lu, Zhongwan.
Опубликовано: (1989)

Computability and logic
по: Boolos, George
Опубликовано: (2002)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
по: Koslow, Arnold, et al.
Опубликовано: (2015)

Non-standard inferences in description logics /
по: Kusters, Ralf.
Опубликовано: (2001)

Điều khiển Logic và ứng dụng
по: Nguyễn, Trọng Thuần
Опубликовано: (2006)

Logic and Its Applications
Опубликовано: (2020)

From Logic to Practice: Italian Studies in the Philosophy of Mathematics
по: Lolli, Gabriele, et al.
Опубликовано: (2015)