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.
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-84
- Umfang
-
2 Sonderdrucke und 33 Bl.
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1971
- 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
- 1971
Ähnliche Objekte (12)
A survey of proof theory
Learning from Previous Proof Experience: A Survey
Proof of euclid II. 8.
Uncorrected Page Proof
Proof of work
proof
PROOF
Proof
Proof Presentation Based on Proof Plans
Notes concerning the elements of proof theory
Proof of Miquel's Theorem.
Proof of the formula ... .
A survey of proof theory
Learning from Previous Proof Experience: A Survey
Proof of euclid II. 8.
Uncorrected Page Proof
Proof of work
proof
PROOF
Proof
Proof Presentation Based on Proof Plans
Notes concerning the elements of proof theory
Proof of Miquel's Theorem.
Proof of the formula ... .
A survey of proof theory
Learning from Previous Proof Experience: A Survey
Proof of euclid II. 8.
Uncorrected Page Proof
Proof of work
proof
PROOF
Proof
Proof Presentation Based on Proof Plans
Notes concerning the elements of proof theory
Proof of Miquel's Theorem.