• Buchstaben P-Q

    (1970), 1984-2012, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-55

    ....; Mathematiker, 1936-2015 Prawitz, Dag; 1936- Prestel, Alexander; Mathematiker, Hochschullehrer, 1941- Previale, Flavio Ptak, Olga Pudlák, Pavel; Mathematiker,... ...Skura vom 3.4.1989 (GK 5-55-2 verso) Predicative arithmetic, 1986 (GK 5-55-99) Kopie eines Typoskriptes von Pavel Pudlák mit einer Besprechung von Edward Nelsons... ...... ...Pudlák, Pavel...

  • PS to [BW]

    2004, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-106

    ...Jan Krajícek, Oxford 1993 ··Matthias Baaz und Pavel Pudlák, "Kreisel's conjecture for L∃1 (including a Postscript by Georg Kreisel)", aus: ·Matthias Baaz, "Note on...

  • Empfehlungsschreiben

    (1967), 1984-1989, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-74

    ....; Mathematikerin, 1933-2017 Okada, Mitsuhiro; Informatiker, 1954- Pudlák, Pavel; Mathematiker, 1952- Shatz, Stephen S.... ...... ...Pudlák, Pavel...

  • Baaz

    1991-1992, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-4

    ...Dieses Postscript bezieht sich auf einen Artikel von Matthias Baaz und Pavel Pudlák aus dem Jahre 1984, der 1993 zusammen mit Kreisels Postscript wiederabgedruckt...

  • Korrespondenz mit Albert Visser

    1981-1994 (1997), Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 11-1

    ...Final correction" Kopie eines handschriftlichen Blattes mit Corrigenda (GK 11-1-44) ·Kopie eines handschriftlhen Briefes an Francesco del Franco vom 2.5.1986 (GK 11-1-45) ·"Afterthought",... ...Takeuti, Gaisi; Mathematiker, 1926 - 2017 Pudlák, Pavel; Mathematiker, 1952 - Troelstra, Anne S.; 1939 - Weingartner, Paul; Philosoph, Volksschullehrer, 1931 -...

Your search has not returned any results.