Applied proof theory proof interpretations and their use in mathematics

other_versions_link
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Kohlenbach. U.
التنسيق: Printed Book
اللغة:English
منشور في: Heidelberg Springer 2008
الموضوعات:
Mathematical logic
Proof theory

UL

تفاصيل المقتنيات من UL
رقم الطلب: 510.6 KOH
النسخة الحالة المباشرة غير متاحة

مواد مشابهة