Akten
A survey of proof theory
Enthält: zwei Sonderdrucke des Artikels "A survey of proof theory" aus The Journal of Symbolic Logic 33 (1968), einer mit Anstreichungen und einer Korrektur von der Hand Kreisels.
Darin: Durchschlag eines handschriftlichen Briefes an Felix E. Browder vom 29.11.1976
Browder, Felix E.; Mathematiker, 1927 -
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-67
- Umfang
-
2 Sonderdrucke
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
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
- 1968
Ähnliche Objekte (12)
Proof theory
Proof theory
A survey of proof therory II
Ways of proof theory
Notes concerning the elements of proof theory
Computation and proof theory
Proof theory : an introduction
Proof theory : an introduction
Proof theory and the tradition of dubious doubts
Some uses of proof theory for finding computer programs
Proof theory and intuitionistic systems
The Stoic theory of sign and proof
Proof theory
Proof theory
A survey of proof therory II
Ways of proof theory
Notes concerning the elements of proof theory
Computation and proof theory
Proof theory : an introduction
Proof theory : an introduction
Proof theory and the tradition of dubious doubts
Some uses of proof theory for finding computer programs
Proof theory and intuitionistic systems
The Stoic theory of sign and proof
Proof theory
Proof theory
A survey of proof therory II
Ways of proof theory
Notes concerning the elements of proof theory
Computation and proof theory
Proof theory : an introduction
Proof theory : an introduction
Proof theory and the tradition of dubious doubts
Some uses of proof theory for finding computer programs
Proof theory and intuitionistic systems