The Journal of Symbolic Logic

As this article doesn't contain an abstract, the image below is necessary to enable the article to be indexed by certain search engines. The resolution of the full-text PDF is much higher than that shown here.


Jean-Yves Girard. Linear logic. Theoretical computer science, vol. 50 (1987), pp. 1–101.

A. S. Troelstra. Lectures on linear logic. CSLI lecture notes, no. 29. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, New York, ix + 200 pp.

Herman Ruge Jervell