|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author index (last issue/vol.) |
2003 |
122 | 1-3 |
p. 293- 1 p. |
artikel |
||
| 2 | CM-triviality and relational structures |
Verbovskiy, Viktor |
2003 |
122 | 1-3 |
p. 175-194 20 p. |
artikel |
|
| 3 | Editorial Board Page (1st issue/vol.) |
2003 |
122 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 4 | G-dinaturality |
Petrić, Zoran |
2003 |
122 | 1-3 |
p. 131-173 43 p. |
artikel |
|
| 5 | Lovely pairs of models |
Ben-Yaacov, Itay |
2003 |
122 | 1-3 |
p. 235-261 27 p. |
artikel |
|
| 6 | On non-abelian C-minimal groups |
Simonetta, Patrick |
2003 |
122 | 1-3 |
p. 263-287 25 p. |
artikel |
|
| 7 | On nonelementarily equivalent pairs of fields |
Khelif, Anatole |
2003 |
122 | 1-3 |
p. 289-291 3 p. |
artikel |
|
| 8 | Proof theory for theories of ordinals—I: recursively Mahlo ordinals |
Arai, Toshiyasu |
2003 |
122 | 1-3 |
p. 1-85 85 p. |
artikel |
|
| 9 | System ST toward a type system for extraction and proofs of programs |
Raffalli, Christophe |
2003 |
122 | 1-3 |
p. 107-130 24 p. |
artikel |
|
| 10 | The proof-theoretic analysis of Σ1 1 transfinite dependent choice |
Rüede, Christian |
2003 |
122 | 1-3 |
p. 195-234 40 p. |
artikel |
|
| 11 | True cofinality and bounding number for small products of partial orders |
Neumann, Stefan |
2003 |
122 | 1-3 |
p. 87-106 20 p. |
artikel |
11 gevonden resultaten