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 -
- Reference number
-
PAKN, GK Georg Kreisel, GK 8-1-67
- Extent
-
2 Sonderdrucke
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1968
- 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.
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
Other Objects (12)
A survey of proof therory II
Proof theory
Proof theory
Ways of proof theory
Notes concerning the elements of proof theory
Proof theory : an introduction
Computation and proof theory
Proof theory : an introduction
Proof theory and the tradition of dubious doubts
Some uses of proof theory for finding computer programs
The Stoic theory of sign and proof
Proof theory and intuitionistic systems
A survey of proof therory II
Proof theory
Proof theory
Ways of proof theory
Notes concerning the elements of proof theory
Proof theory : an introduction
Computation and proof theory
Proof theory : an introduction
Proof theory and the tradition of dubious doubts
Some uses of proof theory for finding computer programs
The Stoic theory of sign and proof
Proof theory and intuitionistic systems
A survey of proof therory II
Proof theory
Proof theory
Ways of proof theory
Notes concerning the elements of proof theory
Proof theory : an introduction
Computation and proof theory
Proof theory : an introduction
Proof theory and the tradition of dubious doubts
Some uses of proof theory for finding computer programs
The Stoic theory of sign and proof