Nested recursion (Q1131248): Difference between revisions

@@ Property / author @@
-William W. Tait
@@ Property / author: William W. Tait / rank @@
-Normal rank
@@ Property / author @@
+William W. Tait
@@ Property / author: William W. Tait / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / OpenAlex ID @@
+W4249116257
@@ Property / OpenAlex ID: W4249116257 / rank @@
+Normal rank