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

Bibliographic Details
Uniform Title:London Mathematical Society lecture note series ; 222.
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

MARC

LEADER 00000nam a22000008a 4500
001 in00001875970
003 OCoLC
005 20220616153727.0
008 950411s1995 enk 100 0 eng
010 |a  95016325  
020 |a 0521559618 (pbk.) 
035 |a (OCoLC)32392940 
040 |a DLC  |c DLC  |d EEM  |d UtOrBLW 
049 |a EEMO 
090 |a QA9.A1 A387 1993 
090 |a QA9.A1  |b A387 1993 
245 0 0 |a Linear logic /  |c edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier. 
260 |a Cambridge ;  |a New York :  |b Cambridge University Press,  |c 1995. 
300 |a vi, 389 pages :  |b illustrations ;  |c 23 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a London Mathematical Society lecture note series ;  |v 222 
500 |a Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University. 
504 |a Includes bibliographical references. 
650 0 |a Logic, Symbolic and mathematical  |v Congresses.  |0 http://id.loc.gov/authorities/subjects/sh2008107112 
700 1 |a Girard, Jean-Yves.  |0 http://id.loc.gov/authorities/names/n88081093 
700 1 |a Lafont, Yves.  |0 http://id.loc.gov/authorities/names/n88272937 
700 1 |a Regnier, Laurent.  |0 http://id.loc.gov/authorities/names/n95036776 
711 2 |a Linear Logic Workshop  |d (1993 :  |c Mathematical Sciences Institute, Cornell University)  |0 http://id.loc.gov/authorities/names/n95036771 
830 0 |a London Mathematical Society lecture note series ;  |v 222.  |0 http://id.loc.gov/authorities/names/n42015587 
907 |y .b29650550  |b 211128  |c 980610 
998 |a rs  |b 980604  |c m  |d a   |e -  |f eng  |g enk  |h 0  |i 2 
935 |a BCL2602 
999 f f |i 62442e00-136f-5ded-b47e-e3699f329cd7  |s 6cf44596-e9f7-5bbc-bc57-740093ef2391  |t 0 
952 f f |p Can Circulate  |a Michigan State University-Library of Michigan  |b Michigan State University  |c MSU Remote Storage  |d MSU Remote Storage  |t 0  |e QA9.A1 A387 1993  |h Library of Congress classification  |i Printed Material  |m 31293004488775  |n 1