Akten
Independent recursive axiomatization
Enthält: Kopie des Artikels (Abstract) "Independent recursive axiomatization" aus The Journal of Symbolic Logic 22 (1957)
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-24
- Umfang
-
1 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)
Recursive Functions
Extending the Ramsey Equation further: Discounting under Mutually Utility Independent and Recursive Preferences
Good Recursive Towers
Recursive spatial multiplexing
Recursive Polish spaces
Recursive Soft Drop
Effective operations and partial recursive functionals
Partial recursive functionals and effective operations
Recursive tree grammar autoencoders
Nonparametric relative recursive regression
On Polynomial Recursive Sequences
Recursive quantum detector tomography
Recursive Functions
Extending the Ramsey Equation further: Discounting under Mutually Utility Independent and Recursive Preferences
Good Recursive Towers
Recursive spatial multiplexing
Recursive Polish spaces
Recursive Soft Drop
Effective operations and partial recursive functionals
Partial recursive functionals and effective operations
Recursive tree grammar autoencoders
Nonparametric relative recursive regression
On Polynomial Recursive Sequences
Recursive quantum detector tomography
Recursive Functions
Extending the Ramsey Equation further: Discounting under Mutually Utility Independent and Recursive Preferences
Good Recursive Towers
Recursive spatial multiplexing
Recursive Polish spaces
Recursive Soft Drop
Effective operations and partial recursive functionals
Partial recursive functionals and effective operations
Recursive tree grammar autoencoders
Nonparametric relative recursive regression
On Polynomial Recursive Sequences