Linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.

Bibliographic Details
Corporate Author:	Linear Logic Workshop
Other Authors:	Girard, Jean-Yves Lafont, Yves Regnier, Laurent
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1995.
Series:	London Mathematical Society lecture note series ; 222.
Subjects:	Logic, Symbolic and mathematical > Congresses.
Genre:	Congresses.
Physical Description:	vi, 389 pages : illustrations ; 23 cm.
Format:	Conference Proceeding Book

System Under Maintenance

Our Library Management System is currently under maintenance.

Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:

Please contact Reference and Discovery Services via their Contact Form or call them directly at: 517-353-8700 for assistance.