|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Boolean model of ultrafilters |
Coquand, Thierry |
1999 |
99 | 1-3 |
p. 231-239 9 p. |
artikel |
|
| 2 | A cut-elimination proof in intuitionistic predicate logic |
Borisavljević, Mirjana |
1999 |
99 | 1-3 |
p. 105-136 32 p. |
artikel |
|
| 3 | A geometric consequence of residual smallness |
Kearnes, Keith A. |
1999 |
99 | 1-3 |
p. 137-169 33 p. |
artikel |
|
| 4 | Analytic ideals and cofinal types |
Louveau, Alain |
1999 |
99 | 1-3 |
p. 171-195 25 p. |
artikel |
|
| 5 | Analytic ideals and their applications |
Solecki, Sławomir |
1999 |
99 | 1-3 |
p. 51-72 22 p. |
artikel |
|
| 6 | Ann. pure appl. logic |
Moss, Lawrence S. |
1999 |
99 | 1-3 |
p. 241-259 19 p. |
artikel |
|
| 7 | Author index volume 99 (1999) |
1999 |
99 | 1-3 |
p. 261- 1 p. |
artikel |
||
| 8 | Editorial Board |
1999 |
99 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 9 | M ω considered as a programming language |
Niggl, Karl-Heinz |
1999 |
99 | 1-3 |
p. 73-92 20 p. |
artikel |
|
| 10 | Saturation and stability in the theory of computation over the reals |
Chapuis, Olivier |
1999 |
99 | 1-3 |
p. 1-49 49 p. |
artikel |
|
| 11 | Strongly determined types |
Ivanov, Alexandre A. |
1999 |
99 | 1-3 |
p. 197-230 34 p. |
artikel |
|
| 12 | The complexity of the disjunction and existential properties in intuitionistic logic |
Buss, Sam |
1999 |
99 | 1-3 |
p. 93-104 12 p. |
artikel |
12 gevonden resultaten