A friendly introduction to mathematical logic

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Leary, Christopher C.
التنسيق:	كتاب
اللغة:	English
منشور في:	Upper Saddle River, N.J. Prentice Hall c2000.
الموضوعات:	Logic, symbolic and mathematical. Computer logic.