Automata and computability / (Record no. 8492)

MARC details
000 -LEADER
fixed length control field 01169pam a2200301 a 4500
001 - CONTROL NUMBER
control field 2108006
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240619104728.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 961104s1997 nyu b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 96037409
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387949070 (hardcover : alk. paper)
040 ## - CATALOGING SOURCE
Original cataloging agency MUST LIB
Transcribing agency MUST
Modifying agency MUST
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA267
Item number .K69 1997
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Edition number 19
Item number KOZ
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Kozen, Dexter,
Dates associated with a name 1951-
9 (RLIN) 17247
245 10 - TITLE STATEMENT
Title Automata and computability /
Statement of responsibility, etc. Dexter C. Kozen.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. New York :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. c1997.
300 ## - PHYSICAL DESCRIPTION
Extent xiii, 400 p. ;
Dimensions 24 cm.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Undergraduate texts in computer science
9 (RLIN) 17248
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. [373]-379) and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Machine theory.
9 (RLIN) 15846
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computable functions.
9 (RLIN) 17249
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier http://www.loc.gov/catdir/enhancements/fy0815/96037409-d.html
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents only
Uniform Resource Identifier http://www.loc.gov/catdir/enhancements/fy0815/96037409-t.html
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 Dewey Decimal Classification
Koha item type Open Shelf
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Source of acquisition Inventory number Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Dewey Decimal Classification     MUST Main Library MUST Main Library 14/06/2024 Purchase 05/23787   511.3 KOZ 1997 2024-20562 14/06/2024 14/06/2024 Open Shelf
    Dewey Decimal Classification     MUST Main Library MUST Main Library 14/06/2024 Purchase 05/24495   511.3 KOZ 1997 2024-20564 14/06/2024 14/06/2024 Open Shelf
    Dewey Decimal Classification     MUST Main Library MUST Main Library 14/06/2024   06/28230   511.3 KOZ 1997 2024-20566 14/06/2024 14/06/2024 Open Shelf
    Other/Generic Classification Scheme     MUST Main Library MUST Main Library 14/06/2024 Purchase 04/21833   511.3 KOZ 1997 2024-20568 14/06/2024 14/06/2024 Open Shelf
    Dewey Decimal Classification     MUST Main Library MUST Main Library 19/06/2024 Purchase 2005/23786   511.3 KOZ 1997 2024-20892 19/06/2024 19/06/2024 Open Shelf