Proof theory sequent calculi and related formalisms

other_versions_link
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Bimbo, Katalin
التنسيق: Printed Book
اللغة:English
منشور في: Boca Raton CRC press 2015
سلاسل:Discrete mathematics and its applications
الموضوعات:
Proof theory
Non classical logic
Display calculi

UL

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

مواد مشابهة