Computational Logic and Proof Theory‚ 5th Kurt Gödel Colloquium‚ KGC'97‚ Vienna‚ Austria‚ August 25−29‚ 1997‚ Proceedings

Geahča maid

• Computational Logic and Proof Theory‚ Third Kurt Gödel Colloquium‚ KGC'93‚ Brno‚ Czech Republic‚ August 24−27‚ 1993‚ Proceedings
  Almmustuhtton: (1993)
• Godel's proof /
  Dahkki: Nagel, Ernest, 1901-, et al.
  Almmustuhtton: (1958)
• Sentences undecidable in formalized arithmetic : an exposition of theory of Kurt Godel /
  Dahkki: 355713 Mostowski, Andrzej
  Almmustuhtton: (1952)
• Computer analysis of images and patterns : 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007, proceedings /
  Dahkki: International Conference on Computer Analysis of Images and Patterns (12th : 2007 : Vienna, Austria), et al.
  Almmustuhtton: (2007)
• Filosofía de la matemática: La intuición en el pensamiento de Kurt Gödel
  Dahkki: Lina María Peña-Páez
  Almmustuhtton: (2021-08-01)