Tools

LEADER 02060cam a2200553 a 4500

001 1011331;

005 20141212034936.0;

008 040624s2004 enka b 000 0 eng ;

010 a| 2005297208;

015 a| GBA4524252| bnb;

016 7 a| 0129545682| Uk;

019 a| 56876868;

020 a| 0521608570 (pbk.);

020 a| 9780521608572 (pbk.);

029 1 a| NZ1b| 8721757;

029 1 a| AU@b| 000026327617;

035 a| (Sirsi) o56655091;

035 a| (OCoLC)56655091;

042 a| ukblsr;

049 a| NPEE;

050 00 a| QA9.54b| .L56 2004;

082 04 a| 511.362| 22;

245 00 a| Linear logic in computer science /c| edited by Thomas Ehrhard [and others].;

260 a| Cambridge :b| Cambridge University Press,c| 2004.;

300 a| x, 381 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| 316;

504 a| Includes bibliographical references.;

650 0 a| Proof theory.;

650 0 a| Computer sciencex| Mathematics.;

650 0 a| Logic, Symbolic and mathematical.;

653 1 a| Linear logic;

653 1 a| Computer science;

700 1 a| Ehrhard, Thomas,d| 1958-;

710 2 a| London Mathematical Society.;

830 0 a| London Mathematical Society lecture note seriesv| 316.;

856 42 3| Publisher descriptionu| http://www.loc.gov/catdir/enhancements/fy0632/2005297208-d.html;

856 41 3| Table of contents onlyu| http://www.loc.gov/catdir/enhancements/fy0632/2005297208-t.html;

994 a| C0b| NPE;

938 a| Baker and Taylorb| BTCPn| 2005297208;

938 a| YBP Library Servicesb| YANKn| 100360240;

938 a| Baker & Taylorb| BKTYc| 96.00d| 96.00i| 0521608570n| 0006047912s| active;

590 a| Little-346518--305131052078Z;

596 a| 1 2;

998 a| 1754788;

999 a| QA9.54 .L56 2004w| LCc| 1i| 30372012723448d| 1/31/2013l| JGESm| JOYNERp| $66.50q| 1r| Ys| Yt| JGESBKu| 1/24/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Linear logic in computer science / edited by Thomas Ehrhard [and others].

Other author	Ehrhard, Thomas, 1958-
Other author	London Mathematical Society.
Format	Book
Publication Info	Cambridge : Cambridge University Press, 2004.
Description	x, 381 pages : illustrations ; 23 cm.
Supplemental Content	Publisher description
Supplemental Content	Table of contents only
Subjects	Proof theory. Computer science--Mathematics. Logic, Symbolic and mathematical.

Series	London Mathematical Society lecture note series ; 316 London Mathematical Society lecture note series 316.
Local note	Little-346518--305131052078Z
Bibliography note	Includes bibliographical references.
LCCN	2005297208
ISBN	0521608570 (pbk.)
ISBN	9780521608572 (pbk.)

Availability

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

Linear logic in computer science / edited by Thomas Ehrhard [and others].

Click here for more information about this title

Availability