Die Vollständigkeit der Axiome des logischen Funktionenkalküls, The completeness of the axioms of the logical function calculus

The completeness of the axioms of the logical function calculus

(1930)
The completeness of the axioms of the logical function calculus

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

Die Vollständigkeit der Axiome des logischen Funktionenkalküls
کورت گودل
(1906 – 1978)