• 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,... ...... ...Prawitz, Dag...

  • Kreisel letters

    1964-1969, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-2

    ...Briefes vom 13.11.1968 an Dag Prawitz. Bei GK 1-2-59 handelt es sich um den Durchschlag eines kurzen masch.... ...Gilbarg, David, 1918 - Howard, William, 1926 - Kleene, Stephen Cole, 1909 - 1994 Krivine, J. L. (Jean Louis) Prawitz, Dag. Reichbach, Julius Robinson, Abraham, 1918...

  • Kreisel letters

    1969-1972, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-3

    ...Briefes vom Mai 1971 an D. Prawitz, GK 1-3-85 die Kopie eines hs. Briefes vom 7.10.1971 an Bernays.... ...Briefe vom 11.11. und vom 11.12.1972 an Dag Prawitz. GK 1-3-151 ist der Durchschlag eines hs.... ...Moravcsic, J. M. E. Myhill, John Prawitz, Dag. Rabin, Michael Oser, 1931 - Ritchie, Robert W....

Your search has not returned any results.