An extension of Schütte's Klammersymbole (Q2528384): Difference between revisions

@@ Property / author @@
+Hans U. Gerber
@@ Property / author: Hans U. Gerber / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5848994
@@ Property / cites work: Q5848994 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
+Normal rank
@@ Property / OpenAlex ID @@
+W2914042794
@@ Property / OpenAlex ID: W2914042794 / rank @@
+Normal rank