Automata and computability / (Record no. 795)

000 -LEADER
fixed length control field 01198cam a2200337 a 4500
001 - CONTROL NUMBER
control field u5268
003 - CONTROL NUMBER IDENTIFIER
control field SA-PMU
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20210418122943.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
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Language of cataloging eng
Transcribing agency DLC
Modifying agency BAKER
-- NLGGC
-- YDXCP
-- BTCTA
-- OCLCG
-- HEBIS
-- ZWZ
-- OCLCQ
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387949070 (hardcover : alk. paper)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780387949079 (hardcover : alk. paper)
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)35911836
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 21
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Kozen, Dexter,
Dates associated with a name 1951-
245 10 - TITLE STATEMENT
Title Automata and computability /
Statement of responsibility, etc. Dexter C. Kozen.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
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.
490 1# - SERIES STATEMENT
Series statement Undergraduate texts in computer science
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references (p. [373]-379) and index.
596 ## -
-- 1 2
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Machine theory.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computable functions.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Undergraduate texts in computer science.
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents
Uniform Resource Identifier <a href="http://catdir.loc.gov/catdir/enhancements/fy0815/96037409-t.html">http://catdir.loc.gov/catdir/enhancements/fy0815/96037409-t.html</a>
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier <a href="http://catdir.loc.gov/catdir/enhancements/fy0815/96037409-d.html">http://catdir.loc.gov/catdir/enhancements/fy0815/96037409-d.html</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
994 ## -
-- Z0
-- SUPMU
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type Public note
          Female Library Female Library 04/18/2021   QA267 .K69 1997 51952000097549 04/15/2021 1 04/15/2021 Books STACKS
          Main Library Main Library 04/18/2021   QA267 .K69 1997 51952000124375 04/15/2021 1 04/15/2021 Books STACKS