Markov's constructive analysis; a participant's view (Q1292407): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604461
@@ Property / cites work: Q5604461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803111
@@ Property / cites work: Q3803111 / rank @@
+Normal rank
@@ Property / cites work @@
+Why Gödel didn't have church's thesis
@@ Property / cites work: Why Gödel didn't have church's thesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5629614
@@ Property / cites work: Q5629614 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893923
@@ Property / cites work: Q3893923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282586
@@ Property / cites work: Q4282586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3665098
@@ Property / cites work: Q3665098 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive analysis
@@ Property / cites work: Recursive analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Computable functionals
@@ Property / cites work: Computable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436365
@@ Property / cites work: Q4436365 / 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 @@
+Grundlagen der Mathematik I
@@ Property / cites work: Grundlagen der Mathematik I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3262783
@@ Property / cites work: Q3262783 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4049049
@@ Property / cites work: Q4049049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3041190
@@ Property / cites work: Q3041190 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338243
@@ Property / cites work: Q3338243 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694211
@@ Property / cites work: Q4694211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4021385
@@ Property / cites work: Q4021385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4697298
@@ Property / cites work: Q4697298 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5848892
@@ Property / cites work: Q5848892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5793827
@@ Property / cites work: Q5793827 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5816699
@@ Property / cites work: Q5816699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5829025
@@ Property / cites work: Q5829025 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994525
@@ Property / cites work: Q3994525 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5720193
@@ Property / cites work: Q5720193 / rank @@
+Normal rank
@@ Property / cites work @@
+Second Thoughts about Church's Thesis and Mathematical Proofs
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Nicht konstruktiv beweisbare Sätze der Analysis
@@ Property / cites work: Nicht konstruktiv beweisbare Sätze der Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4126323
@@ Property / cites work: Q4126323 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694207
@@ Property / cites work: Q4694207 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
+Normal rank
@@ Property / cites work @@
+Q3769959
@@ Property / cites work: Q3769959 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1292407