Implicational Completeness
Robinson, P. L.
الأصل · EN
We present a proof of completeness for the implicational propositional calculus, based on a variant of the Lindenbaum procedure.
الترجمة العربية
لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.