|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
6 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Fixed points in Peano arithmetic with ordinals |
Jäger, Gerhard |
1993 |
60 | 2 |
p. 119-132 14 p. |
article |
|
| 2 | Linearizing intuitionistic implication |
Lincoln, Patrick |
1993 |
60 | 2 |
p. 151-177 27 p. |
article |
|
| 3 | Loeb extensions and ultrapowers of measures on fragments |
Siu-Ah, Ng |
1993 |
60 | 2 |
p. 179-189 11 p. |
article |
|
| 4 | The European Association for Computer Science Logic (EACSL) |
1993 |
60 | 2 |
p. 191-192 2 p. |
article |
||
| 5 | Total sets and objects in domain theory |
Berger, Ulrich |
1993 |
60 | 2 |
p. 91-117 27 p. |
article |
|
| 6 | Weakly semirecursive sets and r.e. orderings |
Kummer, Martin |
1993 |
60 | 2 |
p. 133-150 18 p. |
article |
6 results found