In addition to the technically required cookies, our website also uses cookies for statistical evaluation. You can also use the website without these cookies. By clicking on "I agree" you agree that we may set cookies for analysis purposes. You can see and change your cookie settings here.
Hilbert's programme and the search for automatic proof procedures
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
1970
Enthält: eine Kopie des Aritkels "Hilbert's programme and the search for automatic proof procedures" aus: Symposium on automatic demonstration. Held at Versailles, France, December 1968, hg. v. Michel Laudet u. Daniel Lacombe, Berlin 1970 ( Lecture Notes in Mathematics 125). Beigegeben ist die Kopie einer handschriftlichen Corrigendaliste und die Kopie einer Rezension des Artikels (Rezensent: Kreisel) für das Zentralblatt für Mathematik.
