Proofs and computations /

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Schwichtenberg, Helmut, Wainer, S. S. (مؤلف)
مؤلف مشترك: Association for Symbolic Logic
التنسيق: Printed Book
اللغة:English
منشور في: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
سلاسل:Perspectives in logic.
الموضوعات:
Computable functions.
Proof theory.
الوصول للمادة أونلاين:Table of contents only
Contributor biographical information
Publisher description

الانترنت

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

تفاصيل المقتنيات من University of Calicut
رقم الطلب: 511.352
النسخة الحالة المباشرة غير متاحة

مواد مشابهة