تنقيح بحثك

أعاد بحثك 3 نتيجة.

ليس ما توقعته ؟ تأكد من مقترح
فرز
نتائج
Formal number theory and computability [Texte imprimé] : a workbook / Alec Fisher by السلاسل:Oxford logic guides (Clarendon Press, Oxford) ; 7
نوع المادة : نص نص؛ التنسيق: طباعة؛ الشكل الأدبي: غير أدبي
تفاصيل النشر:Oxford: Clarendon Press, 1982
الإتاحة:المواد المتاحة للإعارة:Bibliothèque centrale (1)رقم الطلب:510 / 166.

Classical propositional operators [Texte imprimé] : an exercise in the foundations of logic / Krister Segerberg by السلاسل:Oxford logic guides (Clarendon Press, Oxford) ; 5
نوع المادة : نص نص؛ التنسيق: طباعة؛ الشكل الأدبي: غير أدبي
تفاصيل النشر:Oxford: Clarendon Press, 1982
الإتاحة:المواد المتاحة للإعارة:Bibliothèque centrale (1)رقم الطلب:510 / 253.

Interpolation and definability [Texte imprimé] : modal and intuitionistic logics / D. M. Gabbay, L. Maksimova by السلاسل:Oxford logic guides (Clarendon Press, Oxford)
نوع المادة : نص نص؛ التنسيق: طباعة؛ الشكل الأدبي: غير أدبي
تفاصيل النشر:Oxford ; New York : Clarendon Press, 2005
الإتاحة:المواد المتاحة للإعارة:Bibliothèque centrale (1)رقم الطلب:510 / 766.

صفحات