|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author Index |
2006 |
139 | 1-3 |
p. 400- 1 p. |
artikel |
||
| 2 | Editorial Board |
2006 |
139 | 1-3 |
p. ii- 1 p. |
artikel |
||
| 3 | Equivalence between Fraïssé’s conjecture and Jullien’s theorem |
Montalbán, Antonio |
2006 |
139 | 1-3 |
p. 1-42 42 p. |
artikel |
|
| 4 | Fundamental notions of analysis in subsystems of second-order arithmetic |
Avigad, Jeremy |
2006 |
139 | 1-3 |
p. 138-184 47 p. |
artikel |
|
| 5 | Generality’s price: Inescapable deficiencies in machine-learned programs |
Case, John |
2006 |
139 | 1-3 |
p. 303-326 24 p. |
artikel |
|
| 6 | Imaginaries in real closed valued fields |
Mellor, T. |
2006 |
139 | 1-3 |
p. 230-279 50 p. |
artikel |
|
| 7 | On properties of theories which preclude the existence of universal models |
Džamonja, Mirna |
2006 |
139 | 1-3 |
p. 280-302 23 p. |
artikel |
|
| 8 | Periodicity based decidable classes in a first order timed logic |
Beauquier, D. |
2006 |
139 | 1-3 |
p. 43-73 31 p. |
artikel |
|
| 9 | Simplicity and uncountable categoricity in excellent classes |
Hyttinen, Tapani |
2006 |
139 | 1-3 |
p. 110-137 28 p. |
artikel |
|
| 10 | Some intuitionistic equivalents of classical principles for degree 2 formulas |
Berardi, Stefano |
2006 |
139 | 1-3 |
p. 185-200 16 p. |
artikel |
|
| 11 | Succinct definitions in the first order theory of graphs |
Pikhurko, Oleg |
2006 |
139 | 1-3 |
p. 74-109 36 p. |
artikel |
|
| 12 | The finite submodel property and ω -categorical expansions of pregeometries |
Djordjević, Marko |
2006 |
139 | 1-3 |
p. 201-229 29 p. |
artikel |
|
| 13 | The spectrum of elementary embeddings j : V → V |
Corazza, Paul |
2006 |
139 | 1-3 |
p. 327-399 73 p. |
artikel |
13 gevonden resultaten