| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Addendum to “computably enumerable sets and quasi-reducibility”
|
Downey, R.
|
|
1999
|
98 |
1-3 |
p. 295-
1 p.
|
artikel
|
| 2 |
Author index volume 98 (1999)
|
|
|
1999
|
98 |
1-3 |
p. 299-
1 p.
|
artikel
|
| 3 |
Canonical models for ℵ1-combinatorics
|
Shelah, Saharon
|
|
1999
|
98 |
1-3 |
p. 217-259
43 p.
|
artikel
|
| 4 |
Categoricity for abstract classes with amalgamation
|
Shelah, Saharon
|
|
1999
|
98 |
1-3 |
p. 261-294
34 p.
|
artikel
|
| 5 |
Definitional equivalence and algebraizability of generalized logical systems
|
Pynko, Alexej P.
|
|
1999
|
98 |
1-3 |
p. 1-68
68 p.
|
artikel
|
| 6 |
Distinguishing three strong saturation properties in nonstandard analysis
|
Jin, Renling
|
|
1999
|
98 |
1-3 |
p. 157-171
15 p.
|
artikel
|
| 7 |
Editorial Board
|
|
|
1999
|
98 |
1-3 |
p. ii-
1 p.
|
artikel
|
| 8 |
Erratum to “computable isomorphisms, degree spectra of relations, and Scott families” [ann. pure appl. logic 93 (1998) 153–193]
|
Khoussainov, Bakhadyr
|
|
1999
|
98 |
1-3 |
p. 297-298
2 p.
|
artikel
|
| 9 |
Recursive and nonextendible functions over the reals; filter foundation for recursive analysis.II
|
Kalantari, Iraj
|
|
1999
|
98 |
1-3 |
p. 87-110
24 p.
|
artikel
|
| 10 |
Some purely topological models for intuitionistic analysis
|
Scowcroft, Philip
|
|
1999
|
98 |
1-3 |
p. 173-215
43 p.
|
artikel
|
| 11 |
The number of types in simple theories
|
Casanovas, Enrique
|
|
1999
|
98 |
1-3 |
p. 69-86
18 p.
|
artikel
|
| 12 |
Typability and type checking in System F are equivalent and undecidable
|
Wells, J.B.
|
|
1999
|
98 |
1-3 |
p. 111-156
46 p.
|
artikel
|
Tijdschrift beschrijving