Linear logic in computer science/
edited by Thomas Ehrhard ... [et al.].
- Cambridge, UK; New York: Cambridge University Press, 2004.
- x, 381 p.: ill.; 23 cm.
- London Mathematical Society lecture note series; 316 .
Includes bibliographical references.
0521608570 (pbk.)
GBA452425 bnb
Proof theory. Logic, Symbolic and mathematical. Computer science--Mathematics.