Akten

Seminar Notes

Enthält: 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".

Reference number
PAKN, GK Georg Kreisel, GK 3-5
Extent
5 Stücke (282 Bl.)

Context
Georg Kreisel >> Pittsburgh-Teil >> Lecture Notes
Holding
PAKN, GK Georg Kreisel

Date of creation
1968-1969

Other object pages
Last update
10.06.2025, 11:28 AM CEST

Data provider

This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.

Object type

  • Sachakte

Time of origin

  • 1968-1969

Other Objects (12)