nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A double completion for an arbitrary T 0 -quasi-metric space
|
Künzi, Hans-Peter A. |
|
2008 |
76 |
2 |
p. 251-269 19 p. |
artikel |
2 |
A duality involving Borel spaces
|
Baboolal, D. |
|
2008 |
76 |
2 |
p. 209-215 7 p. |
artikel |
3 |
A Hofmann–Mislove theorem for bitopological spaces
|
Jung, Achim |
|
2008 |
76 |
2 |
p. 161-174 14 p. |
artikel |
4 |
Author Index – Volume76
|
|
|
2008 |
76 |
2 |
p. 293-294 2 p. |
artikel |
5 |
Canonical completeness of infinitary μ
|
Jäger, Gerhard |
|
2008 |
76 |
2 |
p. 270-292 23 p. |
artikel |
6 |
Contents
|
|
|
2008 |
76 |
2 |
p. v- 1 p. |
artikel |
7 |
Cut-free sequent systems for temporal logic
|
Brünnler, Kai |
|
2008 |
76 |
2 |
p. 216-225 10 p. |
artikel |
8 |
Editorial Board
|
|
|
2008 |
76 |
2 |
p. IFC- 1 p. |
artikel |
9 |
Keyword Index – Volume 76
|
|
|
2008 |
76 |
2 |
p. 295- 1 p. |
artikel |
10 |
On the closure of the diagonal of a T 1-space
|
Colasante, Maria Luisa |
|
2008 |
76 |
2 |
p. 246-250 5 p. |
artikel |
11 |
Ordering the order of a distributive lattice by itself
|
Krebs, Michel |
|
2008 |
76 |
2 |
p. 198-208 11 p. |
artikel |
12 |
Preface
|
Brattka, Vasco |
|
2008 |
76 |
2 |
p. vii- 1 p. |
artikel |
13 |
Primitive recursive selection functions for existential assertions over abstract algebras
|
Strahm, Thomas |
|
2008 |
76 |
2 |
p. 175-197 23 p. |
artikel |
14 |
Soft Linear Set Theory
|
McKinley, Richard |
|
2008 |
76 |
2 |
p. 226-245 20 p. |
artikel |