Tools

LEADER 01628cam 2200397 a 4500

001 ocm20993025;

003 OCoLC;

005 20141212180925.0;

008 900111s1990 riua b 100 0 eng ;

010 a| 90000040;

020 a| 0821851101 (alk. paper);

035 a| (Sirsi) o20993025;

035 a| (OCoLC)20993025;

049 a| EREE;

050 00 a| QA9.59b| .W67 1987;

082 00 a| 511.32| 20;

092 a| 511.3b| W89L;

111 2 a| Workshop on Logic and Computationd| (1987 :c| Carnegie Mellon University)=| ^A588802;

245 10 a| Logic and computation :b| proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /c| Wilfried Sieg, editor.;

300 a| xiv, 297 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Contemporary mathematics,x| 0271-4132 ;v| v. 106;

500 a| "The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso.;

504 a| Includes bibliographical references.;

650 0 a| Computable functionsx| Data processingv| Congresses.=| ^A221080;

700 1 a| Sieg, Wilfried,d| 1945-=| ^A253483;

830 0 a| Contemporary mathematics (American Mathematical Society)v| v. 106.=| ^A654475;

994 a| X0b| ERE;

590 a| Little-284383;

596 a| 1;

998 a| 983343;

999 a| QA9.59 .W67 1987w| LCc| 1i| 30372013294159d| 1/31/2013l| JGESm| JOYNERp| $43.00q| 1r| Ys| Yt| JGESBKu| 12/21/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor.

Author/creator	Workshop on Logic and Computation
Other author	Sieg, Wilfried, 1945-
Format	Book
Publication Info	Providence, R.I. : American Mathematical Society, ©1990.
Description	xiv, 297 pages : illustrations ; 25 cm.
Subjects	Computable functions--Data processing. --Congresses.

Series	Contemporary mathematics, 0271-4132 ; v. 106 Contemporary mathematics (American Mathematical Society) v. 106. ^A654475
Local note	Little-284383
General note	"The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso.
Bibliography note	Includes bibliographical references.
LCCN	90000040
ISBN	0821851101 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.59 .W67 1987	✔ Available	Place Hold

Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor.

Click here for more information about this title

Availability