Mathematical knowledge and the problem of proof (Q1323503): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075423
@@ Property / cites work: Q4075423 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3882459
@@ Property / cites work: Q3882459 / rank @@
+Normal rank
@@ Property / cites work @@
+Outlines of a formalist philosophy of mathematics. 3rd printing
+Normal rank
@@ Property / cites work @@
+Q3996318
@@ Property / cites work: Q3996318 / rank @@
+Normal rank
@@ Property / cites work @@
+In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Geometries and groups. Transl. from the Russian by M. Reid
+Normal rank
@@ Property / cites work @@
+Q5816690
@@ Property / cites work: Q5816690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068662
@@ Property / cites work: Q4068662 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5549011
@@ Property / cites work: Q5549011 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01279518
+Normal rank
@@ Property / OpenAlex ID @@
+W2095158904
@@ Property / OpenAlex ID: W2095158904 / rank @@
+Normal rank