|
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 | A note on full intuitionistic linear logic |
Bierman, G.M. |
1996 |
79 | 3 |
p. 281-287 7 p. |
article |
|
| 2 | Author index volume 79 (1996) of determinacy consistent with choice |
1996 |
79 | 3 |
p. 317- 1 p. |
article |
||
| 3 | Polymorphic extensions of simple type structures. With an application to a bar recursive minimization |
Barendsen, Erik |
1996 |
79 | 3 |
p. 221-280 60 p. |
article |
|
| 4 | Saturated filters at successors of singulars, weak reflection and yet another weak club principle |
Džamonja, Mirna |
1996 |
79 | 3 |
p. 289-316 28 p. |
article |
4 results found