Akten
A survey of proof therory II
Enthält: zwei Sonderdrucke des Artikels "A survey of proof therory II" aus Proceedings of the Second Scandinavian Logic Symposium, hg. v. J.E. Fenstad, Amsterdam 1971 , und ein Typoskript mit gleichem Titel, das aber starke Abweichungen vom Drucktext zeigt.
- Reference number
-
PAKN, GK Georg Kreisel, GK 8-1-84
- Extent
-
2 Sonderdrucke und 33 Bl.
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1971
- 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
- 1971
Other Objects (12)
A survey of proof theory
Learning from Previous Proof Experience: A Survey
Proof of euclid II. 8.
Proof of work
PROOF
proof
Proof
Uncorrected Page Proof
Elements of algorithmic proof
Proof of Stringling's theorem.
Ways of proof theory
Proof of the formula ... .
A survey of proof theory
Learning from Previous Proof Experience: A Survey
Proof of euclid II. 8.
Proof of work
PROOF
proof
Proof
Uncorrected Page Proof
Elements of algorithmic proof
Proof of Stringling's theorem.
Ways of proof theory
Proof of the formula ... .
A survey of proof theory
Learning from Previous Proof Experience: A Survey
Proof of euclid II. 8.
Proof of work
PROOF
proof
Proof
Uncorrected Page Proof
Elements of algorithmic proof
Proof of Stringling's theorem.
Ways of proof theory