الوصف
This established standard covers the basic topics for a first course in mathematical logic. In this edition, the author has added an extensive appendix on second-order logic, a section on set theory with urelements, and a section on the logic that results when we allow models with empty domains.
تفاصيل الكتاب
تنسيق
كيندل
صفحات
494 صفحات
لغة
الإنجليزية
منشور
أغسطس 11, 2009
الناشر
Chapman and Hall/CRC
الطبعات
3 طبعات