Mehrsortige Prädikatenlogiken und Klassentheorien /

محفوظ في:
التفاصيل البيبلوغرافية
OCLC:37242259
المؤلف الرئيسي: Tuttas, Friedemann, 1953-
مؤلف مشترك: Universität Kiel
اللغة:German
منشور في: Kiel : [F. Tuttas], 1984.
الموضوعات:
Logic, Symbolic and mathematical.
Type theory.
التنسيق:

أطروحة Monograph

Note that CRL will digitize material from the collection when copyright allows.

الوصف
وصف مادي:130 p. ; 21 cm.
بيبلوغرافيا:Bibliography: p. 130.
مكان النشر:Germany.

مواد مشابهة