Semantical investigations in Heyting's intuitionistic logic /

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Gabbay, Dov M., 1945-
التنسيق:	كتاب
اللغة:	English
منشور في:	Dordrecht, Holland ; Boston : Hingham, MA : D. Reidel Pub. Co. ; distributed in the U.S.A. and Canada by Kluwer Boston, c1981.
سلاسل:	Synthese library ; v. 148
الموضوعات:	Heyting, A. > (Arend), > 1898- Intuitionistic mathematics.

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

مواد مشابهة