The logic of provability

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Boolos, George (مؤلف)
التنسيق:	كتاب
اللغة:	English
منشور في:	Cambridge, England Cambridge University Press 1993.
الموضوعات:	Modality (Logic) Proof theory.