Computability and Logic / (Record no. 11932)

MARC details
000 -LEADER
fixed length control field 01370cam a2200349 i 4500
001 - CONTROL NUMBER
control field 12491576
003 - CONTROL NUMBER IDENTIFIER
control field EG-ScBUE
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240909121642.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 010802s2002 enka f b 001 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521007580
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521007585 (pbk.)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Language of cataloging eng
Description conventions rda
Transcribing agency DLC
Modifying agency DLC
-- EG-ScBUE
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Edition number 22
Item number BOO
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Boolos, George,
Relator term author.
9 (RLIN) 6576
245 10 - TITLE STATEMENT
Title Computability and Logic /
Statement of responsibility, etc George S. Boolos, John P. Burgess, Princeton University, Richard C. Jeffrey, Princeton University.
250 ## - EDITION STATEMENT
Edition statement Fourth edition.
264 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Cambridge ;
-- New York :
Name of publisher, distributor, etc Cambridge University Press,
Date of publication, distribution, etc 2002.
300 ## - PHYSICAL DESCRIPTION
Extent xi, 356 pages :
Other physical details illustrations ;
Dimensions 27 cm
336 ## - CONTENT TYPE
Source rdacontent
Content type term text
Content type code txt
337 ## - MEDIA TYPE
Media type term unmediated
Source rdamedia
Media type code n
338 ## - CARRIER TYPE
Carrier type term volume
Carrier type code nc
Source rdacarrier
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computable functions.
Source of heading or term BUEsh
9 (RLIN) 6577
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Recursive functions.
Source of heading or term BUEsh
9 (RLIN) 6578
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
Source of heading or term BUEsh
9 (RLIN) 6579
655 ## - INDEX TERM--GENRE/FORM
Form subdivision Reading book
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Burgess, John P.,
Dates associated with a name 1948-
Relator term author.
9 (RLIN) 6580
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Jeffrey, Richard C.,
Relator term author.
9 (RLIN) 6581
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/description/cam022/2001043302.html">http://www.loc.gov/catdir/description/cam022/2001043302.html</a>
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/toc/cam024/2001043302.html">http://www.loc.gov/catdir/toc/cam024/2001043302.html</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Book - Borrowing
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Dewey Decimal Classification     Alef-Baa Central Library Central Library First floor 22/06/2009   150.00   511.3 BOO 000016891 15/07/2025 22/06/2009 Book - Borrowing

© BUE Library 2020