Formal systems and recursive functions : proceedings /

محفوظ في:

التفاصيل البيبلوغرافية
مؤلفون مشاركون:	Logic Colloquium Oxford, England, Association for Symbolic Logic, North Atlantic Treaty Organization, International Union of the History and Philosophy of Science, Symposium on Recursive Functions
مؤلفون آخرون:	Crossley, John N., Dummett, Michael A. E.
التنسيق:	وقائع المؤتمر كتاب
اللغة:	English
منشور في:	Amsterdam : North-Holland Pub. Co., 1965.
سلاسل:	Studies in logic and the foundations of mathematics
الموضوعات:	Logic, Symbolic and mathematical. Recursive functions.

تفاصيل المقتنيات من CARM 1 Store
رقم الطلب:	A2:AQ24B0 C08535
النسخة 1	متاح أحجز النسخة

مواد مشابهة