Tools

LEADER 01574cam 22003858a 4500

001 ocm32392940;

003 OCoLC;

005 20141212120201.0;

008 950411s1995 enka b 100 0 eng ;

010 a| 95016325;

020 a| 0521559618 (pbk.);

035 a| (Sirsi) o32392940;

035 a| (OCoLC)32392940;

049 a| EREE;

050 00 a| QA9.A1b| L56 1995;

082 00 a| 511.32| 20;

245 00 a| Advances in linear logic /c| edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.;

300 a| vi, 389 pages :b| illustrations ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| 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 mathematicalv| Congresses.=| ^A39117;

700 1 a| Girard, Jean-Yves.=| ^A241732;

700 1 a| Lafont, Yves.=| ^A241733;

700 1 a| Regnier, Laurent.=| ^A365071;

711 2 a| Linear Logic Workshopd| (1993 :c| Mathematical Sciences Institute, Cornell University)=| ^A365072;

830 0 a| London Mathematical Society lecture note seriesv| 222.=| ^A27188;

596 a| 1;

998 a| 581493;

999 a| QA9.A1 L56 1995w| LCc| 1i| 30372009111185d| 1/31/2013l| JGESm| JOYNERp| $38.21q| 1r| Ys| Yt| JGESBKu| 8/10/1995x| BOOKz| JSTACKSo| .STAFF. 0;

Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.

Format	Book
Publication Info	Cambridge ; New York : Cambridge University Press, ©1995.
Description	vi, 389 pages : illustrations ; 23 cm.
Subjects	Logic, Symbolic and mathematical--Congresses.

Other author/creator	Girard, Jean-Yves.
Other author/creator	Lafont, Yves.
Other author/creator	Regnier, Laurent.
Other author/creator	Linear Logic Workshop (1993 : Mathematical Sciences Institute, Cornell University)
Series	London Mathematical Society lecture note series ; 222 London Mathematical Society lecture note series 222. ^A27188
General note	Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University.
Bibliography note	Includes bibliographical references.
LCCN	95016325
ISBN	0521559618 (pbk.)

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.A1 L56 1995	✔ Available	Place Hold

Click here for more information about this title