|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A course on bimodal provability logic |
Visser, Albert |
1995 |
73 | 1 |
p. 109-142 34 p. |
article |
|
| 2 | A model for intuitionistic non-standard arithmetic |
Moerdijk, Ieke |
1995 |
73 | 1 |
p. 37-51 15 p. |
article |
|
| 3 | Editorial Board |
1995 |
73 | 1 |
p. ii- 1 p. |
article |
||
| 4 | Enumerators of lambda terms are reducing constructively |
Barendregt, Henk |
1995 |
73 | 1 |
p. 3-9 7 p. |
article |
|
| 5 | Natural deduction for intuitionistic linear logic |
Troelstra, A.S. |
1995 |
73 | 1 |
p. 79-108 30 p. |
article |
|
| 6 | Preface |
Gurevich, Y |
1995 |
73 | 1 |
p. 1- 1 p. |
article |
|
| 7 | Strong normalization in type systems: A model theoretical approach |
Terlouw, Jan |
1995 |
73 | 1 |
p. 53-78 26 p. |
article |
|
| 8 | The data type variety of stack algebras |
Bergstra, J.A |
1995 |
73 | 1 |
p. 11-36 26 p. |
article |
8 results found