Akten
Proof by transfinite induction and definition by transfinite recursion in quantifier free systems
Enthält: Kopie des Artikels (Abstract) "Proof by transfinite induction and definition by transfinite recursion in quantifier free systems" aus The Journal of Symbolic Logic 24 (1959)
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-36
- Umfang
-
3 Bl.
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1959
- 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
- 1959
Ähnliche Objekte (12)
Logic and proof method of recursion
Automation of proof by mathematical induction : 24.07. - 28.07.95
Proof of the Bessenrodt–Ono Inequality by Induction
Proof of the Bessenrodt–Ono Inequality by Induction
Cultural Evolutionary Psychology as Generalization by Recursion
Characterizations of time-bounded computations by limited primitive recursion
Recursion theory
Celestial recursion
Topological recursion
Definition of Structural Prerequisites for Lipoteichoic Acid-Inducible Cytokine Induction by Synthetic Derivatives
Program development by proof transformation
Recursion-theoretic hierarchies
Logic and proof method of recursion
Automation of proof by mathematical induction : 24.07. - 28.07.95
Proof of the Bessenrodt–Ono Inequality by Induction
Proof of the Bessenrodt–Ono Inequality by Induction
Cultural Evolutionary Psychology as Generalization by Recursion
Characterizations of time-bounded computations by limited primitive recursion
Recursion theory
Celestial recursion
Topological recursion
Definition of Structural Prerequisites for Lipoteichoic Acid-Inducible Cytokine Induction by Synthetic Derivatives
Program development by proof transformation
Recursion-theoretic hierarchies
Logic and proof method of recursion
Automation of proof by mathematical induction : 24.07. - 28.07.95
Proof of the Bessenrodt–Ono Inequality by Induction
Proof of the Bessenrodt–Ono Inequality by Induction
Cultural Evolutionary Psychology as Generalization by Recursion
Characterizations of time-bounded computations by limited primitive recursion
Recursion theory
Celestial recursion
Topological recursion
Definition of Structural Prerequisites for Lipoteichoic Acid-Inducible Cytokine Induction by Synthetic Derivatives
Program development by proof transformation