Some proofs of undecidability of arithmetic (Q3237141): Difference between revisions

@@ Property / DOI @@
-.4064/fm-43-2-166-177
@@ Property / DOI: 10.4064/fm-43-2-166-177 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W796849068
@@ Property / OpenAlex ID: W796849068 / rank @@
+Normal rank
@@ Property / DOI @@
+.4064/FM-43-2-166-177
@@ Property / DOI: 10.4064/FM-43-2-166-177 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3237141