Tools

LEADER 01322cam 22003498a 4500

001 ocm27725894;

003 OCoLC;

005 20141212112322.0;

008 930219s1993 paua b 001 0 eng ;

010 a| 93018657;

020 a| 2881249353;

035 a| (Sirsi) o27725894;

035 a| (OCoLC)27725894;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.7b| .S45 1993;

082 00 a| 005.13/12| 20;

245 00 a| Semantics of programming languages and model theory /c| edited by Manfred Droste and Yuri Gurevich.;

300 a| vii, 366 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Algebra, logic, and applications ;v| v. 5;

504 a| Includes bibliographical references and index.;

650 0 a| Programming languages (Electronic computers)x| Semantics.=| ^A118081;

700 1 a| Droste, Manfred,d| 1956-=| ^A163864;

700 1 a| Gurevich, Yuri.=| ^A345600;

830 0 a| Algebra, logic, and applications ;v| v. 5.=| ^A287117;

596 a| 1;

998 a| 544560;

999 a| QA76.7 .S45 1993w| LCc| 1i| 30372008181411d| 2/14/2013e| 12/6/2003f| 2/14/2013g| 1l| JGESm| JOYNERn| 1p| $90.00r| Ys| Yt| JGESBKu| 2/9/1994x| BOOKz| JSTACKSo| .STAFF. 0;

Semantics of programming languages and model theory / edited by Manfred Droste and Yuri Gurevich.

Other author	Droste, Manfred, 1956-
Other author	Gurevich, Yuri.
Format	Book
Publication Info	Langhome, Pa. : Gordon and Breach Science Publishers, ©1993.
Description	vii, 366 pages : illustrations ; 24 cm.
Subjects	Programming languages (Electronic computers)--Semantics.

Series	Algebra, logic, and applications ; v. 5 Algebra, logic, and applications ; v. 5. ^A287117
Bibliography note	Includes bibliographical references and index.
LCCN	93018657
ISBN	2881249353

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.7 .S45 1993	✔ Available	Place Hold

Semantics of programming languages and model theory / edited by Manfred Droste and Yuri Gurevich.

Click here for more information about this title

Availability