• Kreisel letters

    1958-1963, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-1

  • Kreisel letters

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

  • Manuskripte

    1968-1972, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-4

  • Manuskripte

    [ca. 1968]-[nicht nach 1978], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-2

  • Principles of Constructive Mathematics

    1958-1959, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 3-1

  • Kreisel letters

    1978-1984, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-14

  • Bibliography Corrections

    1982-1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-19

  • Kreisel letters

    1980-1981, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-10

  • Kreisel letters

    1981-1983, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-13

  • Reviews from the. Zentralblatt

    1978, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-17

  • Kreisel letters

    1980-1981, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-11

  • Kreisel - Krivine

    1962-[ca. 1973], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-10

  • Kreisel letters

    1977-1978, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-6

  • Kreisel letters

    1987-1990 , Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-16

  • Mostly on Gödel

    [ca. 1979], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-11

  • Kreisel Bibliographie

    1985-1991, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-18

  • Manuskripte

    1957-[ca. 1968], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-1

  • Manuskripte

    [ca. 1978]-[ca. 1985], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-8

  • Fragmente und Verschiedenes

    1938-1989, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-12

  • Kreisel letters

    1973-1977, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-4

  • Manuskripte

    [ca. 1972], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-5

  • Notes concerning the elements of proof theory

    1967-1968, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 3-4

  • Kreisel letters

    1980-1981, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-9

  • Lecture Notes

    Archive der Universität Konstanz

  • Manuscripts

    Archive der Universität Konstanz

  • Request for papers

    1985-1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-18

  • Kreisel letters

    1978-1979, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-7

  • Kreisel letters

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

  • Manuskripte

    [ca. 1973], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-6

  • Kreisel letters

    1981-1982, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-12

  • Bibliography, Old

    1962-1985, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-20

  • Intuitionistic Mathematics. Lectures

    [ca. 1966], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 3-3

  • Lecture notes

    1971-1976, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 3-6

  • Kreisel letters

    Archive der Universität Konstanz

  • Kreisel letters

    1972-1978, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-5

  • Kreisel/Troelstra 1968

    1960-1996, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-17

  • Seminar Notes

    1968-1969, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 3-5

  • The Collected papers of Gerhard Gentzen. Review

    [ca. 1972], Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-15

  • Proofs and Provability

    1978, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-13

  • Foundations of Analysis. Stanford Summer 1963

    1963-1965, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 3-2

  • Manuskripte

    1969-1971, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-3

  • MSS of Kreisel Reviews

    1952-1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-16

  • Manuskripte

    1973-1978, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-7

  • Wittgenstein O.U.P

    1979-1980, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-14

  • Kreisel letters

    1984-1986, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-15

  • Manuskripte

    [ca. 1981]-1995, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-9

  • Kreisel letters

    1979-1980, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-8

Your search has not returned any results.