Gödel, Gentzen, Goodstein: the magic sound of a G-string (Q2341287): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00283-014-9454-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2015749625
@@ Property / OpenAlex ID: W2015749625 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+On the restricted ordinal theorem
@@ Property / cites work: On the restricted ordinal theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Function Theory in an Axiom-Free Equation Calculus
+Normal rank
@@ Property / cites work @@
+ON THE NATURE OF MATHEMATICAL SYSTEMS
@@ Property / cites work: ON THE NATURE OF MATHEMATICAL SYSTEMS / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Independence Results for Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Q3584678
@@ Property / cites work: Q3584678 / rank @@
+Normal rank