Advances in Proof-Theoretic Semantics

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Thomas Piecha, Peter Schroeder-Heister

Ngôn ngữ: eng

ISBN-13: 978-3319071183

Ký hiệu phân loại:

Thông tin xuất bản: Cham : Springer Nature, 2016

Mô tả vật lý: 1 electronic resource (283 p.)

Bộ sưu tập: Tài liệu truy cập mở

ID: 238410

 Logic
  Mathematical Logic and Foundations
  Mathematical Logic and Formal Languages
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2020 THƯ VIỆN HUTECH