Algebraic and Proof-theoretic Aspects of Non-classical Logics
Đã lưu trong:
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ủ đề: | |
Truy cập trực tuyến: | http://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 |
---|
Những quyển sách tương tự
Những quyển sách tương tự
-
Rewriting, Computation and Proof
Bỡi: Comon-Lundh, Hubert, et al.
Được phát hành: (2020) -
An introduction to non-classical logic
Bỡi: Priest, Graham
Được phát hành: (2001) -
Proof and disproof in formal logic
Bỡi: Bornat, Richard
Được phát hành: (2005) -
Algebraic Biology
Được phát hành: (2020) -
Algebraic Biology
Bỡi: Anai, Hirokazu, et al.
Được phát hành: (2020)