Computability theory, semantics, and logic programming / (Record no. 3663)

MARC details
000 -LEADER
fixed length control field 01066cam a2200277 a 4500
001 - CONTROL NUMBER
control field 4277015
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20150602095228.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 850304s1987 nyua b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 85005003
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0195036913 (alk. paper)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.59
Item number .F58 1987
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.64/2
Edition number 19
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Fitting, Melvin,
Dates associated with a name 1942-
9 (RLIN) 899
245 10 - TITLE STATEMENT
Title Computability theory, semantics, and logic programming /
Statement of responsibility, etc Melvin Fitting.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc New York :
Name of publisher, distributor, etc Oxford University Press ;
Place of publication, distribution, etc Oxford :
Name of publisher, distributor, etc Clarendon Press,
Date of publication, distribution, etc 1987.
300 ## - PHYSICAL DESCRIPTION
Extent xi, 198 p. :
Other physical details ill. ;
Dimensions 24 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Oxford logic guides ;
Volume number/sequential designation 13
9 (RLIN) 900
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographies and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computable functions.
9 (RLIN) 901
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Data structures (Computer science)
9 (RLIN) 53
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/enhancements/fy0637/85005003-d.html">http://www.loc.gov/catdir/enhancements/fy0637/85005003-d.html</a>
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents only
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/enhancements/fy0637/85005003-t.html">http://www.loc.gov/catdir/enhancements/fy0637/85005003-t.html</a>
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 1
e ocip
f 19
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Library of Congress Classification
Item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Library of Congress Classification     Informatics and Virtual Education Library Collection Informatics and Virtual Education Library Collection General Collection 02/06/2015   QA9.59 .F58 1987 1877 02/06/2015 02/06/2015 Books
© The University of Dodoma 2020