Proof theory: sequent calculi and related formalisms

other_versions_link
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Bimbo, Katalin
التنسيق: Printed Book
اللغة:English
منشور في: Boca Raton CRC Press 2015
الموضوعات:
Proof theory
الوصف
وصف مادي:376p.

مواد مشابهة