Über das Markov-Prinzip (Q4128796): Difference between revisions

@@ Property / author @@
+Horst Luckhardt
@@ Property / author: Horst Luckhardt / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional Gödel functional interpretation. A consistency proof of classical analysis
+Normal rank
@@ Property / cites work @@
+On constructive mathematics
@@ Property / cites work: On constructive mathematics / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2008241564
@@ Property / OpenAlex ID: W2008241564 / rank @@
+Normal rank