|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A construction of Boolean algebras from first-order structures |
Koppelberg, Sabine |
1993 |
59 | 3 |
p. 239-256 18 p. |
artikel |
|
| 2 | A decision algorithm for linear sentences on a PFM |
Li, Lian |
1993 |
59 | 3 |
p. 273-286 14 p. |
artikel |
|
| 3 | Author index Volume 59 (1993) |
1993 |
59 | 3 |
p. 287- 1 p. |
artikel |
||
| 4 | Friedberg splittings of recursively enumerable sets |
Downey, Rod |
1993 |
59 | 3 |
p. 175-199 25 p. |
artikel |
|
| 5 | Generic degrees are complemented |
Kumabe, Masahiro |
1993 |
59 | 3 |
p. 257-272 16 p. |
artikel |
|
| 6 | Intuitionistic validity in T-normal Kripke structures |
Buss, Samuel R. |
1993 |
59 | 3 |
p. 159-173 15 p. |
artikel |
|
| 7 | More on simple forcing notions and forcings with ideals |
Gitik, M. |
1993 |
59 | 3 |
p. 219-238 20 p. |
artikel |
|
| 8 | On the unity of logic |
Girard, Jean-Yves |
1993 |
59 | 3 |
p. 201-217 17 p. |
artikel |
|
| 9 | Preface |
1993 |
59 | 3 |
p. 157- 1 p. |
artikel |
9 gevonden resultaten