Logic for mathematics and computer science

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Burris, Stanley
التنسيق:	كتاب
اللغة:	English
منشور في:	Upper Saddle River, N.J. Prentice Hall c1998.
الموضوعات:	Logic, Symbolic and mathematical.