Tools

LEADER 01883cam 2200409 a 4500

001 ocm21763577;

005 20141212081210.0;

008 900521s1990 wb a b 000 0 eng ;

010 a| 90039676;

020 a| 3540527346 :c| DM30.00;

020 a| 0387527346;

035 a| (Sirsi) o21763577;

035 a| (OCoLC)21763577;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA3b| .L28 no. 1429;

082 00 a| 510 sa| 511.32| 20;

245 00 a| Logic and computer science :b| lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /c| S. Homer [and others] ; editor, P. Odifreddi.;

300 a| 162 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in mathematics (Springer-Verlag) ;v| 1429;

504 a| Includes bibliographical references.;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

650 0 a| Programming (Mathematics)v| Congresses.=| ^A518188;

650 0 a| Computational complexityv| Congresses.=| ^A82337;

700 1 a| Homer, S.q| (Steven)=| ^A259634;

700 1 a| Odifreddi, Piergiorgio,d| 1950-=| ^A259635;

710 2 a| Centro internazionale matematico estivo.=| ^A64661;

830 0 a| Lecture notes in mathematics (Springer-Verlag)v| 1429.=| ^A496146;

919 a| BOOK;

590 a| Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, LECTURE NOTES IN MATHEMATICS (SPRINGER-VERLAG), SEARCH BY CALL NUMBER QA3 .L28.;

596 a| 1;

998 a| 370187;

999 a| QA3 .L28 NO. 1429w| LCc| 1i| 30372005626939d| 1/28/2013e| 11/10/1993f| 1/28/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 11/29/1990x| BOOKz| JSTACKSo| .STAFF. .note. 4 External uses Location when checked out Joynero| .STAFF. 0;

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / S. Homer [and others] ; editor, P. Odifreddi.

Other author	Homer, S. (Steven)
Other author	Odifreddi, Piergiorgio, 1950-
Other author	Centro internazionale matematico estivo.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1990.
Description	162 pages : illustrations ; 25 cm.
Subjects	Logic, Symbolic and mathematical--Congresses. Programming (Mathematics)--Congresses. Computational complexity--Congresses.

Series	Lecture notes in mathematics (Springer-Verlag) ; 1429 Lecture notes in mathematics (Springer-Verlag) 1429. ^A496146
Local note	Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, LECTURE NOTES IN MATHEMATICS (SPRINGER-VERLAG), SEARCH BY CALL NUMBER QA3 .L28.
Bibliography note	Includes bibliographical references.
LCCN	90039676
ISBN	3540527346 :
ISBN	0387527346

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / S. Homer [and others] ; editor, P. Odifreddi.

Click here for more information about this title