Proof theory sequent calculi and related formalisms

other_versions_link
Chi tiết về thư mục
Tác giả chính: Bimbo, Katalin
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: Boca Raton CRC press 2015
Loạt:Discrete mathematics and its applications
Những chủ đề:
Proof theory
Non classical logic
Display calculi

UL

Chi tiết quỹ từ UL
Số hiệu: 510.6 BIM
510.6 BIM;1
Sao chép Trạng thái trực tiếp không khả dụng
Sao chép Trạng thái trực tiếp không khả dụng

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