Algebraic and Proof-theoretic Aspects of Non-classical Logics

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Aguzzoli, S., Ciabattoni, A., Gerla, B., Manara, C., Marra, V.
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Mathematical Logic and Formal Languages
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82092
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

id	oai:scholar.dlu.edu.vn:DLU123456789-82092
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-820922023-10-06T02:13:12Z Algebraic and Proof-theoretic Aspects of Non-classical Logics Aguzzoli, S. Ciabattoni, A. Gerla, B. Manara, C. Marra, V. Computer Science Mathematical Logic and Formal Languages 2020-02-20T02:10:06Z 2020-02-20T02:10:06Z 2007 Book 978-3-540-75938-6 978-3-540-75939-3 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82092 en Lecture Notes in Computer Science Springer-Verlag Berlin Heidelberg application/pdf Springer Berlin Heidelberg
institution	Thư viện Trường Đại học Đà Lạt
collection	Thư viện số
language	English
topic	Computer Science Mathematical Logic and Formal Languages
spellingShingle	Computer Science Mathematical Logic and Formal Languages Aguzzoli, S. Ciabattoni, A. Gerla, B. Manara, C. Marra, V. Algebraic and Proof-theoretic Aspects of Non-classical Logics
format	Book
author	Aguzzoli, S. Ciabattoni, A. Gerla, B. Manara, C. Marra, V.
author_facet	Aguzzoli, S. Ciabattoni, A. Gerla, B. Manara, C. Marra, V.
author_sort	Aguzzoli, S.
title	Algebraic and Proof-theoretic Aspects of Non-classical Logics
title_short	Algebraic and Proof-theoretic Aspects of Non-classical Logics
title_full	Algebraic and Proof-theoretic Aspects of Non-classical Logics
title_fullStr	Algebraic and Proof-theoretic Aspects of Non-classical Logics
title_full_unstemmed	Algebraic and Proof-theoretic Aspects of Non-classical Logics
title_sort	algebraic and proof-theoretic aspects of non-classical logics
publisher	Springer Berlin Heidelberg
publishDate	2020
url	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/82092
_version_	1819790568474017792

Algebraic and Proof-theoretic Aspects of Non-classical Logics

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