|
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 volume 97 (1999) |
1999 |
97 | 1-3 |
p. 261- 1 p. |
artikel |
||
| 2 | Bar induction and ω model reflection |
Jäger, Gerhard |
1999 |
97 | 1-3 |
p. 221-230 10 p. |
artikel |
|
| 3 | Cut normal forms and proof complexity |
Baaz, Matthias |
1999 |
97 | 1-3 |
p. 127-177 51 p. |
artikel |
|
| 4 | Editorial Board |
1999 |
97 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 5 | Extended order-generic queries |
Belegradek, Oleg V. |
1999 |
97 | 1-3 |
p. 85-125 41 p. |
artikel |
|
| 6 | Hierarchies of measure-theoretic ultrafilters |
Benedikt, Michael |
1999 |
97 | 1-3 |
p. 203-219 17 p. |
artikel |
|
| 7 | On Π-conversion in the λ-cube and the combination with abbreviations |
Kamareddine, Fairouz |
1999 |
97 | 1-3 |
p. 27-45 19 p. |
artikel |
|
| 8 | On distinguishing quotients of symmetric groups |
Shelah, S. |
1999 |
97 | 1-3 |
p. 47-83 37 p. |
artikel |
|
| 9 | Ordinals and ordinal functions representable in the simply typed lambda calculus |
Danner, N. |
1999 |
97 | 1-3 |
p. 179-201 23 p. |
artikel |
|
| 10 | Succinctness as a source of complexity in logical formalisms |
Gottlob, Georg |
1999 |
97 | 1-3 |
p. 231-260 30 p. |
artikel |
|
| 11 | Toward categoricity for classes with no maximal models |
Shelah, Saharon |
1999 |
97 | 1-3 |
p. 1-25 25 p. |
artikel |
11 gevonden resultaten