| 000 -LEADER |
|---|
| fixed length control field |
00867nam a2200241 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
4285284 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20200722155445.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
850617s1985 njua b 000 0 eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0-13-561465-1 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Transcribing agency |
UGBCL |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.6 |
| Item number |
M38 |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Mathematical logic and programming languages / |
| Statement of responsibility, etc |
edited by C.A.R. Hoare and J.C. Shepherdson. - |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Englewood Cliffs, N.J. : |
| Name of publisher, distributor, etc |
Prentice-Hall, |
| Date of publication, distribution, etc |
1985. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
184 p. : |
| Other physical details |
ill., diagrams. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programming languages (Electronic computers) |
|
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
|
|---|
| Topical term or geographic name as entry element |
Digital computer systems |
| Form subdivision |
Programming language |
| General subdivision |
Design |
| 9 (RLIN) |
3965 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hoare, C. A. R. |
| Fuller form of name |
(Charles Antony Richard), |
| Dates associated with a name |
1934 - |
| 9 (RLIN) |
3966 |
|
|---|
| Personal name |
Shepherdson, J. C. |
| 9 (RLIN) |
3967 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Entry Department |
TSD |
| Verified |
FS |