|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
21 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Answer set programming in intuitionistic logic |
Schubert, Aleksy |
2018 |
29 | 1 |
p. 276-292 |
artikel |
|
| 2 | Arithmetical conservation results |
van den Berg, Benno |
2018 |
29 | 1 |
p. 260-275 |
artikel |
|
| 3 | Brouwer and Euclid |
Beeson, Michael |
2018 |
29 | 1 |
p. 483-533 |
artikel |
|
| 4 | Constructive agents |
van Benthem, Johan |
2018 |
29 | 1 |
p. 23-35 |
artikel |
|
| 5 | Constructive knowledge and the justified true belief paradigm |
Artemov, Sergei |
2018 |
29 | 1 |
p. 125-134 |
artikel |
|
| 6 | Dimension of compact metric spaces |
Dranishnikov, Alexander N. |
2018 |
29 | 1 |
p. 429-449 |
artikel |
|
| 7 | Eliminating disjunctions by disjunction elimination |
Rinaldi, Davide |
2018 |
29 | 1 |
p. 226-259 |
artikel |
|
| 8 | Extensions of Scott’s Graph Model and Kleene’s Second Algebra |
van Oosten, Jaap |
2018 |
29 | 1 |
p. 5-22 |
artikel |
|
| 9 | Fixed points in lambda calculus. An eccentric survey of problems and solutions |
Intrigila, Benedetto |
2018 |
29 | 1 |
p. 450-458 |
artikel |
|
| 10 | Fixed points of n -valued maps, the fixed point property and the case of surfaces—A braid approach |
Gonçalves, Daciberg Lima |
2018 |
29 | 1 |
p. 91-124 |
artikel |
|
| 11 | Intuitionism and effective descriptive set theory |
Moschovakis, Joan R. |
2018 |
29 | 1 |
p. 396-428 |
artikel |
|
| 12 | Lewis meets Brouwer: Constructive strict implication |
Litak, Tadeusz |
2018 |
29 | 1 |
p. 36-90 |
artikel |
|
| 13 | Meaning explanations at higher dimension |
Angiuli, Carlo |
2018 |
29 | 1 |
p. 135-149 |
artikel |
|
| 14 | Modelling and computing homotopy types: I |
Brown, Ronald |
2018 |
29 | 1 |
p. 459-482 |
artikel |
|
| 15 | On the cofinality of the splitting number |
Dow, Alan |
2018 |
29 | 1 |
p. 382-395 |
artikel |
|
| 16 | On the natural concept of dimension |
Brouwer, L.E.J. |
2018 |
29 | 1 |
p. 1-4 |
artikel |
|
| 17 | Recurrence in the dynamical system ( X , 〈 T s 〉 s ∈ S ) and ideals of β S |
Hindman, Neil |
2018 |
29 | 1 |
p. 293-312 |
artikel |
|
| 18 | Reflections in a cup of coffee |
Bocklandt, Raf |
2018 |
29 | 1 |
p. 150-160 |
artikel |
|
| 19 | Retracing Cantor’s first steps in Brouwer’s company |
Veldman, Wim |
2018 |
29 | 1 |
p. 161-201 |
artikel |
|
| 20 | Some aspects of dimension theory for topological groups |
Arhangel’skii, A.V. |
2018 |
29 | 1 |
p. 202-225 |
artikel |
|
| 21 | To be or not to be constructive, that is not the question |
Sanders, Sam |
2018 |
29 | 1 |
p. 313-381 |
artikel |
21 gevonden resultaten