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)
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-89
- Umfang
-
2 Sonderdrucke
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Indexbegriff Person
- Laufzeit
-
1974
- 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
- 1974
Ähnliche Objekte (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.