Digitalisierte Bilder gesperrt bis: 31.12.2050
| GK 3-5 |
| Seminar Notes |
| 1968-1969 |
| hektographierte Kopien von Kreisels Aufzeichnungen zu zwei Seminaren im Herbst 1968 und im Herbst 1969. GK 3-5-1 enthält sechs masch. Seiten unter dem Titel "Seminar on abstract structures, Autumn 1968", GK 3-5-2 enthält sechs masch. Seiten unter dem Titel "Seminar on abstract structures II, December 1968". Bei GK 3-5-3 handelt es sich um eine masch. Seite mit Übungen. GK 3-5-4 ist betitelt "Algebraic proof theory". Das Typoskript zerfällt in zwei Teile: "Seminar Notes" und "Course Notes", die wiederum kleinere durchnumerierte Teile enthalten. Bei GK 3-5-5 handelt es sich um ein durchnumeriertes Typoskript (Computerausdruck) mit dem Titel "Notes Concering the Elements of Proof Theory". |
| 5 Stücke (282 Bl.) |
| PAKN, GK (Georg Kreisel), GK 3-5 |
