Nested recursion (Q1131248): Difference between revisions

@@ Property / cites work @@
+Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of non-finitist proofs–Part II
+Normal rank
@@ Property / cites work @@
+Q5513756
@@ Property / cites work: Q5513756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241197
@@ Property / cites work: Q3241197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5821428
@@ Property / cites work: Q5821428 / rank @@
+Normal rank