Mathematical logic and computability

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Keisler, H. Jerome
مؤلفون آخرون:	Robbin, Joel W.
التنسيق:	كتاب
منشور في:	New York McGraw-Hill c1996.
الموضوعات:	Computable functions. Logic, Symbolic and mathematical. Formal languages.