Undecidable theories

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Tarski, Alfred
التنسيق: كتاب
اللغة:الإنجليزية
منشور في: Amsterdam North-Holland Publishing Company 1953
الطبعة:1st edition 1953
سلاسل:Studies in logic and the foundations of mathematics nStudies in logic and the foundations of mathematics