Kurt Gödel (1906 – 1978) Participations: گسترشها Die Vollständigkeit der Axiome des logischen Funktionenkalküls The completeness of the axioms of the logical function calculus 1930 author Kurt Gödel Über die Vollständigkeit des Logikkalküls On the completeness of the calculus of logic 1929 author Kurt Gödel An Interpretation of the Intuitionistic Propositional Calculus An Interpretation of the Intuitionistic Propositional Calculus 1933 author Kurt Gödel