Wittgenstein and finitism (Q1583770): Difference between revisions

@@ Property / cites work @@
+Q4769046
@@ Property / cites work: Q4769046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3910522
@@ Property / cites work: Q3910522 / rank @@
+Normal rank
@@ Property / cites work @@
+IV.—FINITISM IN MATHEMATICS (I)
@@ Property / cites work: IV.—FINITISM IN MATHEMATICS (I) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+A Formalization of Recursive Arithmetic
@@ Property / cites work: A Formalization of Recursive Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3968902
@@ Property / cites work: Q3968902 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of local negation: The model and some applications
+Normal rank
@@ Property / cites work @@
+Function Theory in an Axiom-Free Equation Calculus
+Normal rank
@@ Property / cites work @@
+Q5570930
@@ Property / cites work: Q5570930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5762262
@@ Property / cites work: Q5762262 / rank @@
+Normal rank
@@ Property / cites work @@
+AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
@@ Property / cites work: AN ELEMENTARY THEORY OF THE CATEGORY OF SETS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269117
@@ Property / cites work: Q4269117 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5480303
@@ Property / cites work: Q5480303 / rank @@
+Normal rank
@@ Property / cites work @@
+Primitive recursive functions
@@ Property / cites work: Primitive recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+II.—MATHEMATICS AND ITS FOUNDATIONS
@@ Property / cites work: II.—MATHEMATICS AND ITS FOUNDATIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760885
@@ Property / cites work: Q2760885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3240229
@@ Property / cites work: Q3240229 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3952080
@@ Property / cites work: Q3952080 / rank @@
+Normal rank