Introduction to higher order categorical logic

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Lambek, J
مؤلفون آخرون: Scott, P J
التنسيق: Printed Book
منشور في: Cambridge University Press, Cambridge 1986
الموضوعات:
Topological and related algebra and groups

مواد مشابهة