Akten
Notes concerning the elements of proof theory
Enthält: 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.
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 3-4
- Umfang
-
7 Stücke (350 Bl.)
- Bemerkungen
-
Gk 3-4a: Geschenk von Wilfrid Hodges, Sendung vom 22.9.2017.
- Kontext
-
Georg Kreisel >> Pittsburgh-Teil >> Lecture Notes
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1967-1968
- Weitere Objektseiten
- Letzte Aktualisierung
-
10.06.2025, 11:28 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Sachakte
Entstanden
- 1967-1968
Ähnliche Objekte (12)
Proof theory
Proof theory
General Proof Theory and Definitional Reflection : Notes, 2016
Note concerning maps
Elements of algorithmic proof
Computation and proof theory
Proof theory : an introduction
Proof theory : an introduction
Ways of proof theory
Five notes on the application of proof theory to computer Science
Proof theory and intuitionistic systems
A survey of proof theory
Proof theory
Proof theory
General Proof Theory and Definitional Reflection : Notes, 2016
Note concerning maps
Elements of algorithmic proof
Computation and proof theory
Proof theory : an introduction
Proof theory : an introduction
Ways of proof theory
Five notes on the application of proof theory to computer Science
Proof theory and intuitionistic systems
A survey of proof theory
Proof theory
Proof theory
General Proof Theory and Definitional Reflection : Notes, 2016
Note concerning maps
Elements of algorithmic proof
Computation and proof theory
Proof theory : an introduction
Proof theory : an introduction
Ways of proof theory
Five notes on the application of proof theory to computer Science
Proof theory and intuitionistic systems