The completeness of the axioms of the logical function calculus

(1930)
برابر انگلیک (انگلیسی): Die Vollständigkeit der Axiome des logischen Funktionenkalküls

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

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

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