no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
Δ 1-Definability
|
Friedman, Sy D. |
|
1997 |
89 |
1 |
p. 93-99 7 p. |
article |
2 |
Editorial Board
|
|
|
1997 |
89 |
1 |
p. ii- 1 p. |
article |
3 |
Ehrenfeucht games and ordinal addition
|
Maurin, Françoise |
|
1997 |
89 |
1 |
p. 53-73 21 p. |
article |
4 |
Infinitary definitions of equivalence relations in models of PA
|
Kaye, Richard |
|
1997 |
89 |
1 |
p. 37-43 7 p. |
article |
5 |
Intuitionistic formal theories with realizability in subrecursive classes
|
Beltiukov, Anatoly Petrovich |
|
1997 |
89 |
1 |
p. 3-15 13 p. |
article |
6 |
On Pascal triangles modulo a prime power
|
Bés, Alexis |
|
1997 |
89 |
1 |
p. 17-35 19 p. |
article |
7 |
On the structure of stable groups
|
Wagner, Frank O. |
|
1997 |
89 |
1 |
p. 85-92 8 p. |
article |
8 |
Order types of free subsets
|
Mildenberger, Heike |
|
1997 |
89 |
1 |
p. 75-83 9 p. |
article |
9 |
Preface
|
Cegielski, Patrick |
|
1997 |
89 |
1 |
p. 1- 1 p. |
article |
10 |
Theories of generalized Pascal triangles
|
Korec, Ivan |
|
1997 |
89 |
1 |
p. 45-52 8 p. |
article |