Akten
Relations between classes of constructive functionals
Enthält: eine Kopie vom Reprint (1960) des Artikels "Relations between classes of constructive functionals" aus Summaries of Talks Presented at the Summer Insitute for Symbolic Logic Cornell University 1957, hg. v. J. Rosser, Ithaca N.Y.
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-26
- Umfang
-
12 Bl.
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1957
- 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
- 1957
Ähnliche Objekte (12)
Interpretation of analysis by means of constructive functionals of finite types
Diana Schmidt - Topics in Mathematica Logic, characterisations of small constructive ordinals, constructive finite number classes;
Constructive proofs or constructive statements?
Peace Journalism : Between advocacy journalism and constructive conflict coverage
Constructive waterfalls
Constructive analysis
Constructive approximation
Constructive combinatorics
Projecting statistical functionals
Fostering Constructive Relations: Approaches to Trust-Building in Peacebuilding Interventions
Fostering Constructive Relations: Approaches to Trust-Building in Peacebuilding Interventions
Constructive neural networks
Interpretation of analysis by means of constructive functionals of finite types
Diana Schmidt - Topics in Mathematica Logic, characterisations of small constructive ordinals, constructive finite number classes;
Constructive proofs or constructive statements?
Peace Journalism : Between advocacy journalism and constructive conflict coverage
Constructive waterfalls
Constructive analysis
Constructive approximation
Constructive combinatorics
Projecting statistical functionals
Fostering Constructive Relations: Approaches to Trust-Building in Peacebuilding Interventions
Fostering Constructive Relations: Approaches to Trust-Building in Peacebuilding Interventions
Constructive neural networks
Interpretation of analysis by means of constructive functionals of finite types
Diana Schmidt - Topics in Mathematica Logic, characterisations of small constructive ordinals, constructive finite number classes;
Constructive proofs or constructive statements?
Peace Journalism : Between advocacy journalism and constructive conflict coverage
Constructive waterfalls
Constructive analysis
Constructive approximation
Constructive combinatorics
Projecting statistical functionals
Fostering Constructive Relations: Approaches to Trust-Building in Peacebuilding Interventions
Fostering Constructive Relations: Approaches to Trust-Building in Peacebuilding Interventions