Number theoretic concepts and recursive well-orderings (Q5337196): Difference between revisions

@@ Property / author @@
-Georg Kreisel
@@ Property / author: Georg Kreisel / rank @@
-Normal rank
@@ Property / author @@
+Georg Kreisel
@@ Property / author: Georg Kreisel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals
+Normal rank
@@ Property / cites work @@
+Zur Theorie der konstruktiven Wohlordnungen
@@ Property / cites work: Zur Theorie der konstruktiven Wohlordnungen / rank @@
+Normal rank
@@ Property / cites work @@
+The Class of Recursive Functions
@@ Property / cites work: The Class of Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive well-orderings
@@ Property / cites work: Recursive well-orderings / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5337196