المقتنيات: Logic for computer science /

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Reeves, Steven
مؤلفون آخرون:	Clarke, Michael
التنسيق:	كتاب
اللغة:	English
منشور في:	Workingham : Addison-Wesley, 1990.
الموضوعات:	Mantık, sembolik ve matematiksel. Logic, Symbolic and mathematical

تفاصيل المقتنيات من Menteşe Kütüphanesi
رقم الطلب:	QA9 .R448 1990
النسخة k.1	متاح