Akten
Formally self-referential propositions for cut free classical analysis and related systems
Enthält: zwei Sonderdrucke des zusammen mit Gaisi Takeuti verfaßten Artikels "Formally self-referential propositions for cut free classical analysis and related systems" aus: Dissertationes Mathematicae 118 (1974)
- Reference number
-
PAKN, GK Georg Kreisel, GK 8-1-89
- Extent
-
2 Sonderdrucke
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Indexentry person
- Date of creation
-
1974
- 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
- 1974
Other Objects (12)
Free Logics are Cut-Free
Self-referential probability
Referential revealed preference theory
Referential relations in Polish
Referential revealed preference theory
Socalled self-referential paradoxes
Referential problems in conversation
Referential relations in Polish
Propositions.
Propositions.
Propositions.
Propositions
Free Logics are Cut-Free
Self-referential probability
Referential revealed preference theory
Referential relations in Polish
Referential revealed preference theory
Socalled self-referential paradoxes
Referential problems in conversation
Referential relations in Polish
Propositions.
Propositions.
Propositions.
Propositions
Free Logics are Cut-Free
Self-referential probability
Referential revealed preference theory
Referential relations in Polish
Referential revealed preference theory
Socalled self-referential paradoxes
Referential problems in conversation
Referential relations in Polish
Propositions.
Propositions.
Propositions.