|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A course on bimodal provability logic |
Visser, Albert |
1995 |
73 | 1 |
p. 109-142 34 p. |
artikel |
|
| 2 | A model for intuitionistic non-standard arithmetic |
Moerdijk, Ieke |
1995 |
73 | 1 |
p. 37-51 15 p. |
artikel |
|
| 3 | Editorial Board |
1995 |
73 | 1 |
p. ii- 1 p. |
artikel |
||
| 4 | Enumerators of lambda terms are reducing constructively |
Barendregt, Henk |
1995 |
73 | 1 |
p. 3-9 7 p. |
artikel |
|
| 5 | Natural deduction for intuitionistic linear logic |
Troelstra, A.S. |
1995 |
73 | 1 |
p. 79-108 30 p. |
artikel |
|
| 6 | Preface |
Gurevich, Y |
1995 |
73 | 1 |
p. 1- 1 p. |
artikel |
|
| 7 | Strong normalization in type systems: A model theoretical approach |
Terlouw, Jan |
1995 |
73 | 1 |
p. 53-78 26 p. |
artikel |
|
| 8 | The data type variety of stack algebras |
Bergstra, J.A |
1995 |
73 | 1 |
p. 11-36 26 p. |
artikel |
8 gevonden resultaten