| 000 -LEADER |
| fixed length control field |
00532pam a2200169 a 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
| fixed length control field |
961104s1997 nyu b 001 0 eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
| ISBN |
9781461273097 (hardcover : alk. paper) |
| 100 1# - MAIN ENTRY--AUTHOR |
| Author |
Kozen, Dexter, |
| 245 10 - TITLE STATEMENT |
| Title |
Automata and computability / |
| Statement of responsibility, etc |
Dexter C. Kozen. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
| Place of publication |
New York : |
| Name of publisher |
Springer, |
| Date of publication |
c2020. |
| 300 ## - PHYSICAL DESCRIPTION |
| Pagination |
xiii, 400 p. ; |
| Other physical details |
ill. : |
| 440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE |
| Series Title |
Undergraduate texts in computer science |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term |
Machine theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term |
Computable functions. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
| Item type |
Books |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
| Classification number |
QA267 |
| Item number |
.K69 1997 |