Proof analysis : a contribution to Hilbert's last problem /

"This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the pr...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Negri, Sara, Von Plato, Jan (Tác giả)
Định dạng: Printed Book
Ngôn ngữ:English
Được phát hành: Cambridge, UK ; New York : Cambridge University Press, 2011.
Những chủ đề:
Proof theory.
Truy cập trực tuyến:Cover image

Internet

Cover image

University of Calicut

Chi tiết quỹ từ University of Calicut
Số hiệu: 511.3/6
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ự