Lectures on linear logic

A. S. Troelstra
Bok · Engelsk · 1992 A.S. Troelstra

Utgitt	Stanford, CA : Center for the Study of Language and Information , c1992
Omfang	ix, 200 s. : ill.
Emner	Logic, Symbolic and mathematical Matematisk logikk
ISBN	0937073776. - 0937073784