On the completeness of the calculus of logic
(1929)
برابر انگلیک (انگلیسی): Über die Vollständigkeit des Logikkalküls

دست‌اندرکاران:

گسترش‌ها
Kurt Gödel
کورت گودل
(1906 – 1978)

جستارهای پیونددار نگره‌ی نمونه

تاربرگ‌های پیموده‌شده در این نشست: A reduction in number of the postulates for C. I. Lewis' system of strict implication ⟩ نبیگ فشرده در افماریک جبر و تراز کردن ⟩ روشنگری سنجشگرانه فلسفه لایبنیتس ⟩ گویایی برای دانش رایانش