Digitalisierte Bilder gesperrt bis: 31.12.2050
| GK 3-4 |
| Notes concerning the elements of proof theory |
| 1967-1968 |
| ein komplettes Vorlesungsmanuskript zu der Vorlesung "Elements of proof theory", die Kreisel im Studienjahr 1967/68 an der University of California at Los Angeles hielt. GK 3-4a ist die hs. Version der Teile I-VI, GK 3-4b die masch. Abschrift, die einen in der hs. Version nicht vorliegenden Teil VII enthält. Das hs. Manuskript besteht aus sechs Stücken, die jeweils durchnumeriert sind. Sie entsprechen den Seiten 1-137 des Typoskriptes. |
| 7 Stücke (350 Bl.) |
| Gk 3-4a: Geschenk von Wilfrid Hodges, Sendung vom 22.9.2017. |
| PAKN, GK (Georg Kreisel), GK 3-4 |
