Tools

LEADER 01262cam 2200349 a 4500

001 ocm11842343;

005 20141212025213.0;

008 850304s1987 nyua b 001 0 eng ;

010 a| 85005003;

020 a| 0195036913 (alk. paper);

035 a| (Sirsi) o11842343;

035 a| (OCoLC)11842343;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

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

082 0 a| 001.64/22| 19;

100 1 a| Fitting, Melvin Chris.?| UNAUTHORIZED;

245 10 a| Computability theory, semantics, and logic programming /c| Melvin Fitting.;

300 a| xi, 198 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Oxford logic guides ;v| 13;

504 a| Includes bibliographies and index.;

650 0 a| Computable functions.=| ^A60697;

650 0 a| Data structures (Computer science)=| ^A27146;

830 0 a| Oxford logic guides ;v| 13.=| ^A139801;

919 a| BOOK;

596 a| 1;

998 a| 305628;

999 a| QA9.59 .F58 1987w| LCc| 1i| 30372004573199d| 1/31/2013l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 2/7/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Computability theory, semantics, and logic programming / Melvin Fitting.

Author/creator	Fitting, Melvin Chris
Format	Book
Publication Info	New York : Oxford University Press ; Oxford : Clarendon Press, 1987.
Description	xi, 198 pages : illustrations ; 24 cm.
Subjects	Computable functions. Data structures (Computer science)

Series	Oxford logic guides ; 13 Oxford logic guides ; 13. ^A139801
Bibliography note	Includes bibliographies and index.
LCCN	85005003
ISBN	0195036913 (alk. paper)

Availability

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

Computability theory, semantics, and logic programming / Melvin Fitting.

Click here for more information about this title

Availability