nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Apartness spaces as a framework for constructive topology
|
Bridges, Douglas |
|
2003 |
119 |
1-3 |
p. 61-83 23 p. |
artikel |
2 |
Author index
|
|
|
2003 |
119 |
1-3 |
p. 295- 1 p. |
artikel |
3 |
Δ 2 0-categoricity in Boolean algebras and linear orderings
|
McCoy, Charles F.D. |
|
2003 |
119 |
1-3 |
p. 85-120 36 p. |
artikel |
4 |
Church–Rosser property of a simple reduction for full first-order classical natural deduction
|
Andou, Y. |
|
2003 |
119 |
1-3 |
p. 225-237 13 p. |
artikel |
5 |
Combinatorial principles in nonstandard analysis
|
Di Nasso, Mauro |
|
2003 |
119 |
1-3 |
p. 265-293 29 p. |
artikel |
6 |
On gaps under GCH type assumptions
|
Gitik, Moti |
|
2003 |
119 |
1-3 |
p. 1-18 18 p. |
artikel |
7 |
P-points in Q max models
|
Feng, Q. |
|
2003 |
119 |
1-3 |
p. 121-190 70 p. |
artikel |
8 |
Split BN-pairs of finite Morley rank
|
Tent, Katrin |
|
2003 |
119 |
1-3 |
p. 239-264 26 p. |
artikel |
9 |
Thue trees
|
Marcinkowski, Jerzy |
|
2003 |
119 |
1-3 |
p. 19-59 41 p. |
artikel |
10 |
Universes over Frege structures
|
Kahle, Reinhard |
|
2003 |
119 |
1-3 |
p. 191-223 33 p. |
artikel |