Akten
Ordinal logics and the characterization of informal concepts of proof
Enthält: einen Sonderdruck des Artikels "Ordinal logics and the characterization of informal concepts of proof" aus Proceedings of the International Congress of Mathematicians, 14-21 August 1958, hg. v. J. Todd, Cambridge 1960
- Reference number
-
PAKN, GK Georg Kreisel, GK 8-1-43
- Extent
-
1 Sonderdruck
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1960
- 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
- 1960
Other Objects (12)
A proof theory for preferential default description logics
Proof reconstruction in classical and non-classical logics
Nonmonotonic logics : basic concepts, results, and techniques
Ordinal Patterns: Entropy Concepts and Dependence Between Time Series
Ordinal.
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT
Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles
Ordinal Numbers
Ordinal Games
Informal learning : genealogy, concepts, antagonisms and questions
A proof theory for preferential default description logics
Proof reconstruction in classical and non-classical logics
Nonmonotonic logics : basic concepts, results, and techniques
Ordinal Patterns: Entropy Concepts and Dependence Between Time Series
Ordinal.
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT
Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles
Ordinal Numbers
Ordinal Games
Informal learning : genealogy, concepts, antagonisms and questions
A proof theory for preferential default description logics
Proof reconstruction in classical and non-classical logics
Nonmonotonic logics : basic concepts, results, and techniques
Ordinal Patterns: Entropy Concepts and Dependence Between Time Series
Ordinal.
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT
Ordinal proof theory of Kripke-Platek set theory augmented by strong reflection principles
Ordinal Numbers
Ordinal Games