| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A common axiom set for classical and intuitionistic plane geometry
|
Lombard, Melinda
|
|
1998
|
95 |
1-3 |
p. 229-255
27 p.
|
article
|
| 2 |
A general model completeness result for expansions of the real ordered field
|
Maxwell, Steve
|
|
1998
|
95 |
1-3 |
p. 185-227
43 p.
|
article
|
| 3 |
Author index volume 95 (1998)
|
|
|
1998
|
95 |
1-3 |
p. 287-
1 p.
|
article
|
| 4 |
Computably enumerable sets and quasi-reducibility
|
Downey, R.
|
|
1998
|
95 |
1-3 |
p. 1-35
35 p.
|
article
|
| 5 |
Dynamic notions of genericity and array noncomputability
|
Schaeffer, Benjamin
|
|
1998
|
95 |
1-3 |
p. 37-69
33 p.
|
article
|
| 6 |
Editorial Board
|
|
|
1998
|
95 |
1-3 |
p. ii-
1 p.
|
article
|
| 7 |
Generic structures and simple theories
|
Chatzidakis, Z.
|
|
1998
|
95 |
1-3 |
p. 71-92
22 p.
|
article
|
| 8 |
On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness
|
Kohlenbach, Ulrich
|
|
1998
|
95 |
1-3 |
p. 257-285
29 p.
|
article
|
| 9 |
Some results on cut-elimination, provable well-orderings, induction and reflection
|
Arai, Toshiyasu
|
|
1998
|
95 |
1-3 |
p. 93-184
92 p.
|
article
|
Journal description