Advances in Proof-Theoretic Semantics

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả của công ty: SpringerLink (Online service)
Tác giả khác: Piecha, Thomas (Biên tập viên), Schroeder-Heister, Peter (Biên tập viên)
Định dạng: Điện tử eBook
Ngôn ngữ:Tiếng Anh
Được phát hành: Cham : Springer International Publishing : Imprint: Springer, 2016.
Loạt:Trends in Logic, Studia Logica Library, 43
Những chủ đề:
Truy cập trực tuyến:http://dx.doi.org/10.1007/978-3-319-22686-6
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Internet

http://dx.doi.org/10.1007/978-3-319-22686-6

Athi-River Campus: Reference Section

Chi tiết quỹ từ Athi-River Campus: Reference Section
Số hiệu: REF JX 231.D6 1957
Mã vạch BK107450 Sẵn có Đặt Giữ