Akten
Five notes on the application of proof theory to computer Science
Enthält: ein Exemplar des Technical Report 182 (10.12.1971) ( Institute for Mathematical Studies in the Social Sciences. Psychology & Education Series) mit dem Artikel "Five notes on the application of proof theory to computer science"
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-85
- Umfang
-
1 Zeitschriftenheft
- 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)
Notes concerning the elements of proof theory
Proof theory
Proof theory
General Proof Theory and Definitional Reflection : Notes, 2016
Computation and proof theory
Proof theory : an introduction
Proof theory : an introduction
Ways of proof theory
Proof of concept application, 1
Proof of concept application, 3
Proof of concept application, 2
Proof theory and intuitionistic systems
Notes concerning the elements of proof theory
Proof theory
Proof theory
General Proof Theory and Definitional Reflection : Notes, 2016
Computation and proof theory
Proof theory : an introduction
Proof theory : an introduction
Ways of proof theory
Proof of concept application, 1
Proof of concept application, 3
Proof of concept application, 2
Proof theory and intuitionistic systems
Notes concerning the elements of proof theory
Proof theory
Proof theory
General Proof Theory and Definitional Reflection : Notes, 2016
Computation and proof theory
Proof theory : an introduction
Proof theory : an introduction
Ways of proof theory
Proof of concept application, 1
Proof of concept application, 3
Proof of concept application, 2