|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
4 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Index sets in the arithmetical Hierarchy |
Brandt, Ulrike |
1988 |
37 | 2 |
p. 101-110 10 p. |
article |
|
| 2 | Normal functors, power series and λ-calculus |
Girard, Jean-Yves |
1988 |
37 | 2 |
p. 129-177 49 p. |
article |
|
| 3 | On the programs-as-formulas interpretation of parallel programs in peano arithmetic |
Farkas, E.J. |
1988 |
37 | 2 |
p. 111-127 17 p. |
article |
|
| 4 | Some applications of short core models |
Koepke, Peter |
1988 |
37 | 2 |
p. 179-204 26 p. |
article |
4 results found