Completeness,compactness, and undercidability : an introduction to mathematical logic /

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	343792 Manaster, Alfred B.
التنسيق:
منشور في:	Englewood Cliffs, New Jersey : Prentice Hall, 1975
الموضوعات:	Logic, Symbolic and mathematical Predicate calculus

الوصف
الملخص:	41

مواد مشابهة