|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Brouwer and cardinalities |
Hart, Klaas Pieter |
2018 |
29 | 6 |
p. 1555-1564 |
artikel |
|
| 2 | Combinatorial topology and constructive mathematics |
Coquand, Thierry |
2018 |
29 | 6 |
p. 1637-1648 |
artikel |
|
| 3 | Intuitionistic sequential compactness? |
Bridges, Douglas S. |
2018 |
29 | 6 |
p. 1477-1496 |
artikel |
|
| 4 | On Brouwer’s continuity principle |
Ishihara, Hajime |
2018 |
29 | 6 |
p. 1511-1524 |
artikel |
|
| 5 | Real numbers and projective spaces: Intuitionistic reasoning with undecidable basic relations |
von Plato, Jan |
2018 |
29 | 6 |
p. 1546-1554 |
artikel |
|
| 6 | Subintuitionistic logics and the implications they prove |
de Jongh, Dick |
2018 |
29 | 6 |
p. 1525-1545 |
artikel |
|
| 7 | Surveyable sets |
Blass, Andreas |
2018 |
29 | 6 |
p. 1465-1476 |
artikel |
|
| 8 | Syntactic forcing models for coherent logic |
Bezem, Marc |
2018 |
29 | 6 |
p. 1441-1464 |
artikel |
|
| 9 | The Creating Subject, the Brouwer–Kripke Schema, and infinite proofs |
van Atten, Mark |
2018 |
29 | 6 |
p. 1565-1636 |
artikel |
|
| 10 | Univalence as a principle of logic |
Awodey, Steve |
2018 |
29 | 6 |
p. 1497-1510 |
artikel |
10 gevonden resultaten