nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A guide to “strong coding”
|
Friedman, Sy D. |
|
1987 |
35 |
C |
p. 99-122 24 p. |
artikel |
2 |
Author index
|
|
|
1987 |
35 |
C |
p. 303- 1 p. |
artikel |
3 |
Choice and well-ordering
|
Freyd, Peter |
|
1987 |
35 |
C |
p. 149-166 18 p. |
artikel |
4 |
Decidability and definability with circumscription
|
Schlipf, John S. |
|
1987 |
35 |
C |
p. 173-191 19 p. |
artikel |
5 |
Editorial Board
|
|
|
1987 |
35 |
C |
p. IFC- 1 p. |
artikel |
6 |
Lindenbaum algebras of intuitionistic theories and free categories
|
Freyd, Peter |
|
1987 |
35 |
C |
p. 167-172 6 p. |
artikel |
7 |
Models of arithmetic and categories with finiteness conditions
|
Diaconescu, R. |
|
1987 |
35 |
C |
p. 123-148 26 p. |
artikel |
8 |
On countable locally described structures
|
Maier, Berthold J. |
|
1987 |
35 |
C |
p. 205-246 42 p. |
artikel |
9 |
On the scheme of induction for bounded arithmetic formulas
|
Wilkie, A.J. |
|
1987 |
35 |
C |
p. 261-302 42 p. |
artikel |
10 |
Representations of the real numbers and of the open subsets of the set of real numbers
|
Weihrauch, Klaus |
|
1987 |
35 |
C |
p. 247-260 14 p. |
artikel |
11 |
Strong coding
|
Friedman, Sy D. |
|
1987 |
35 |
C |
p. 1-3 3 p. |
artikel |
12 |
The undecidability of the lattice of R.E. closed subsets of an effective topological space
|
Silibovsky Brady, Sheryl |
|
1987 |
35 |
C |
p. 193-203 11 p. |
artikel |