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...

وصف كامل

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Negri, Sara, Von Plato, Jan (مؤلف)
التنسيق: Printed Book
اللغة:English
منشور في: Cambridge, UK ; New York : Cambridge University Press, 2011.
الموضوعات:
Proof theory.
الوصول للمادة أونلاين:Cover image

الانترنت

Cover image

University of Calicut

تفاصيل المقتنيات من University of Calicut
رقم الطلب: 511.3/6
النسخة الحالة المباشرة غير متاحة

مواد مشابهة