![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Logic and Computational Complexity Volume 960 || Light linear logic
Leivant, DanielVolume:
10.1007/3-
Year:
1995
Language:
english
Pages:
32
DOI:
10.1007/3-540-60178-3_83
File:
PDF, 1.51 MB
english, 1995