On V.A. Yankov’s Contribution to the History of Foundations of Mathematics (Q5886463): Difference between revisions

@@ Property / cites work @@
+Theology against logic: the origins of logic in old russia
+Normal rank
@@ Property / cites work @@
+Russian Origins of Non-Classical Logics
@@ Property / cites work: Russian Origins of Non-Classical Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3512156
@@ Property / cites work: Q3512156 / rank @@
+Normal rank
@@ Property / cites work @@
+The logical legacy of Nikolai Vasiliev and modern logic
+Normal rank
@@ Property / cites work @@
+Did Bishop Have a Philosophy of Mathematics?†
@@ Property / cites work: Did Bishop Have a Philosophy of Mathematics?† / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5791196
@@ Property / cites work: Q5791196 / rank @@
+Normal rank
@@ Property / cites work @@
+STRICT FINITISM, FEASIBILITY, AND THE SORITES
@@ Property / cites work: STRICT FINITISM, FEASIBILITY, AND THE SORITES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493101
@@ Property / cites work: Q4493101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3962996
@@ Property / cites work: Q3962996 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5790840
@@ Property / cites work: Q5790840 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5795832
@@ Property / cites work: Q5795832 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Circles
@@ Property / cites work: Mathematical Circles / rank @@
+Normal rank
@@ Property / cites work @@
+Q3968902
@@ Property / cites work: Q3968902 / rank @@
+Normal rank
@@ Property / cites work @@
+A formalization of Essenin-Volpin's proof theoretical studies by means of nonstandard analysis
+Normal rank
@@ Property / cites work @@
+Q4787958
@@ Property / cites work: Q4787958 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism. An introduction
@@ Property / cites work: Intuitionism. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551103
@@ Property / cites work: Q5551103 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5577078
@@ Property / cites work: Q5577078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3910524
@@ Property / cites work: Q3910524 / rank @@
+Normal rank
@@ Property / cites work @@
+What evidence is there that \(2^{\land}65536\) is a natural number?
+Normal rank
@@ Property / cites work @@
+On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary
+Normal rank
@@ Property / cites work @@
+Q4021385
@@ Property / cites work: Q4021385 / rank @@
+Normal rank
@@ Property / cites work @@
+Strict finitism and the happy sorites
@@ Property / cites work: Strict finitism and the happy sorites / rank @@
+Normal rank
@@ Property / cites work @@
+Q5831318
@@ Property / cites work: Q5831318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3469074
@@ Property / cites work: Q3469074 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory in the USSR 1925–1969
@@ Property / cites work: Proof theory in the USSR 1925–1969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325787
@@ Property / cites work: Q4325787 / rank @@
+Normal rank
@@ Property / cites work @@
+Church's thesis after 70 years
@@ Property / cites work: Church's thesis after 70 years / rank @@
+Normal rank
@@ Property / cites work @@
+Existence and feasibility in arithmetic
@@ Property / cites work: Existence and feasibility in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5828993
@@ Property / cites work: Q5828993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4881144
@@ Property / cites work: Q4881144 / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE DOGMA OF THE NATURAL NUMBERS
@@ Property / cites work: ON THE DOGMA OF THE NATURAL NUMBERS / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q3849891
@@ Property / cites work: Q3849891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5354732
@@ Property / cites work: Q5354732 / rank @@
+Normal rank
@@ Property / cites work @@
+On the historical transformations of the square of opposition as semiotic object
+Normal rank
@@ Property / cites work @@
+Q3996366
@@ Property / cites work: Q3996366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3927242
@@ Property / cites work: Q3927242 / rank @@
+Normal rank