Tools

LEADER 01247cam a22003498a 4500

001 ocm31170699;

003 OCoLC;

005 20141212115125.0;

008 940902s1994 enka b 001 0 eng ;

010 a| 94033666;

020 a| 0198538596;

035 a| (Sirsi) o31170699;

035 a| (OCoLC)31170699;

049 a| EREE;

050 00 a| QA9.2b| .W48 1994;

082 00 a| 511.32| 20;

245 00 a| What is a logical system? /c| edited by D.M. Gabbay.;

300 a| x, 454 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Studies in logic and computation ;v| 4;

504 a| Includes bibliographical references and index.;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

650 0 a| Computer science.=| ^A267953;

700 1 a| Gabbay, Dov M.,d| 1945-=| ^A84439;

830 0 a| Studies in logic and computation ;v| 4.=| ^A682628;

596 a| 1;

998 a| 571368;

999 a| QA9.2 .W48 1994w| LCc| 1i| 30372008806843d| 1/31/2013e| 7/2/1999l| JGESm| JOYNERn| 2p| $59.50q| 1r| Ys| Yt| JGESBKu| 2/14/1995x| BOOKz| JSTACKSo| .STAFF. 0;

What is a logical system? / edited by D.M. Gabbay.

Other author	Gabbay, Dov M., 1945-
Format	Book
Publication Info	Oxford : Clarendon Press ; New York : Oxford University Press, 1994.
Description	x, 454 pages : illustrations ; 24 cm.
Subjects	Logic, Symbolic and mathematical. Computer science.

Series	Studies in logic and computation ; 4 Studies in logic and computation ; 4. ^A682628
Bibliography note	Includes bibliographical references and index.
LCCN	94033666
ISBN	0198538596

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.2 .W48 1994	✔ Available	Place Hold

What is a logical system? / edited by D.M. Gabbay.

Click here for more information about this title

Availability