Computability and logic / (Record no. 9776)

MARC details
000 -LEADER
fixed length control field 00897nam a2200313 4500
001 - CONTROL NUMBER
control field 4664124
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20150630130737.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field 000
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 000
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 80040432
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GB80
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521299675 (pbk.)
International Standard Book Number 0521234794
040 ## - CATALOGING SOURCE
Original cataloging agency UOEL
Transcribing agency DLC
Modifying agency DLC
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number BC135
Item number .B66
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Boolos, George.
245 10 - TITLE STATEMENT
Title Computability and logic /
Statement of responsibility, etc George Boolos, Richard Jeffrey.
250 ## - EDITION STATEMENT
Edition statement 2d ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Cambridge [Eng.] ;
-- New York :
Name of publisher, distributor, etc Cambridge University Press,
Date of publication, distribution, etc c1980.
300 ## - PHYSICAL DESCRIPTION
Extent x, 285 p. ;
Dimensions 24 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computable functions.
Topical term or geographic name as entry element Recursive functions.
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Jeffrey, Richard C.,
Relator term joint author.
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d u
e ocip
f 19
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Library of Congress Classification
Item type Loan - Normal on open shelf
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 Copy number Price effective from Koha item type
    Library of Congress Classification     UOE Main Library UOE Main Library Open shelf 09/06/2015   BC135 .B66 10068371 27/04/2026 10068371 09/06/2015 Loan - Normal on open shelf