Godel, Gödel, Kurt Godel, Kurt Gödel, کورت گودل

کورت گودل

(1906 – 1978)
کورت گودل

انبازی‌ها:

Über die Vollständigkeit des LogikkalkülsÜber die Vollständigkeit des Logikkalküls
1929
نگارنده
کورت گودل
Die Vollständigkeit der Axiome des logischen FunktionenkalkülsDie Vollständigkeit der Axiome des logischen Funktionenkalküls
1930
نگارنده
کورت گودل
An Interpretation of the Intuitionistic Propositional CalculusAn Interpretation of the Intuitionistic Propositional Calculus
1933
نگارنده
کورت گودل