|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A constructive investigation of satisfiability |
Ciraulo, Francesco |
2012 |
163 | 2 |
p. 111-121 11 p. |
artikel |
|
| 2 | Contents |
2012 |
163 | 2 |
p. iv- 1 p. |
artikel |
||
| 3 | Cosheaves and connectedness in formal topology |
Vickers, Steven |
2012 |
163 | 2 |
p. 157-174 18 p. |
artikel |
|
| 4 | Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation |
Dybjer, Peter |
2012 |
163 | 2 |
p. 122-131 10 p. |
artikel |
|
| 5 | Generalizing realizability and Heyting models for constructive set theory |
Ziegler, Albert |
2012 |
163 | 2 |
p. 175-184 10 p. |
artikel |
|
| 6 | Independence results in formal topology |
Valentini, Silvio |
2012 |
163 | 2 |
p. 151-156 6 p. |
artikel |
|
| 7 | Lebesgue’s dominated convergence theorem in Bishop’s style |
Sacerdoti Coen, Claudio |
2012 |
163 | 2 |
p. 140-150 11 p. |
artikel |
|
| 8 | Metric spaces in synthetic topology |
Bauer, Andrej |
2012 |
163 | 2 |
p. 87-100 14 p. |
artikel |
|
| 9 | Preface |
Bauer, Andrej |
2012 |
163 | 2 |
p. 85-86 2 p. |
artikel |
|
| 10 | Reflections on function spaces |
Bridges, Douglas S. |
2012 |
163 | 2 |
p. 101-110 10 p. |
artikel |
|
| 11 | Two subcategories of apartness spaces |
Ishihara, Hajime |
2012 |
163 | 2 |
p. 132-139 8 p. |
artikel |
11 gevonden resultaten