|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Atomic models higher up |
Millar, J. |
2008 |
155 | 3 |
p. 225-241 17 p. |
artikel |
|
| 2 | Editorial Board |
2008 |
155 | 3 |
p. IFC- 1 p. |
artikel |
||
| 3 | Gödel algebras free over finite distributive lattices |
Aguzzoli, Stefano |
2008 |
155 | 3 |
p. 183-193 11 p. |
artikel |
|
| 4 | Proof nets sequentialisation in multiplicative linear logic |
Di Giamberardino, Paolo |
2008 |
155 | 3 |
p. 173-182 10 p. |
artikel |
|
| 5 | Resolution over linear equations and multilinear proofs |
Raz, Ran |
2008 |
155 | 3 |
p. 194-224 31 p. |
artikel |
|
| 6 | Vaught’s conjecture for superstable theories of finite rank |
Buechler, Steven |
2008 |
155 | 3 |
p. 135-172 38 p. |
artikel |
6 gevonden resultaten