Linear logic in computer science/
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.
511.3 / L754
Includes bibliographical references.
0521608570 (pbk.)
GBA452425 bnb
Proof theory.
Logic, Symbolic and mathematical.
Computer science--Mathematics.
511.3 / L754