MARC details
| 000 -LEADER |
|---|
| fixed length control field |
01522cam a2200409 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocm0471016500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
IE-CoIT |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20200925062930.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
751111s1976 enk||||| |||| 00| 0|eng|| |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
75038893 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0471016500 (hardback) |
| 029 ## - OTHER SYSTEM CONTROL NUMBER (OCLC) |
|---|
| OCLC library identifier |
V33458 |
| 040 ## - CATALOGING SOURCE |
|---|
| Modifying agency |
OCoLC |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bird, R. J. |
| Fuller form of name |
(Richard J.) |
| Relator term |
author |
| 9 (RLIN) |
8313 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Programs and machines : |
| Remainder of title |
an introduction to the theory of computation / |
| Statement of responsibility, etc. |
Richard Bird. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
London : |
| Name of producer, publisher, distributor, manufacturer |
Wiley & Sons, |
| Date of production, publication, distribution, manufacture, or copyright notice |
[1976] |
| 264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Date of production, publication, distribution, manufacture, or copyright notice |
©1976 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
x, 214 pages ; |
| Dimensions |
24 cm |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
unmediated |
| Media type code |
n |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
volume |
| Carrier type code |
nc |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Wiley series in computing |
| 500 ## - GENERAL NOTE |
|---|
| General note |
"A Wiley--Interscience publication.". |
| 500 ## - GENERAL NOTE |
|---|
| General note |
'A Wiley-Interscience Publication'. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Bibliography: (pages 208-211) and index. |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Programs and machines -- The equivalence of programs -- Algorithms and universal machines -- Unsolvable decision problems -- The correctness of programs -- The definition of functions by recursion -- The fixed point theory of recursion -- Applications of the fixed point theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Computer programming |
| 9 (RLIN) |
41513 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Machine theory |
| 9 (RLIN) |
39391 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| 9 (RLIN) |
29597 |
| Uniform title |
Wiley series in computing. |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) |
|---|
| a |
.b10180047 |
| b |
100128 |
| c |
011116 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Suppress in OPAC |
0 |
| Source of classification or shelving scheme |
Dewey Decimal Classification |
| 969 00 - LOCAL CODES |
|---|
| a |
16861 |
| 979 00 - LOCAL CODES |
|---|
| a |
OB2 |
| b |
30 OCT 2001 |
| 989 00 - LOCAL CODES |
|---|
| a |
OB2 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) |
|---|
| a |
c |
| Operator's initials, OID (RLIN) |
011115 |
| Cataloger's initials, CIN (RLIN) |
m |
| First Date, FD (RLIN) |
a |
| Local |
- |
| -- |
eng |
| -- |
enk |
| h |
0 |