مطحنة الكرة الصغيرة من اليوم 2
هوانغ دان لام الكرة مطحنة من خلال نظرية الاستدلال، تظهر البديهيات البادئة بعبارة (2) من ليما 7، و T (زب (x) P (c)) كت ¬xp (x) كتب (c) Q من الأخير، 8، ونحن الحصول على T س P (س) س. 0؛ سحب الكرة آخر بت من التعليمات البرمجية تحتاج إلى ...