| 000 -LEADER |
|---|
| fixed length control field |
00563nam a22001817a 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20230905095333.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
150909b xxu||||| |||| 00| 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Transcribing agency |
UG |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA9 Cha |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Chang, Chin-Liang, |
| Dates associated with a name |
1937- |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Symbolic logical and mechanical theorem proving / |
| Statement of responsibility, etc |
Chin-Liange Chang and Richard Char-Tung Lee. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
New York : |
| Name of publisher, distributor, etc |
Academic P., |
| Date of publication, distribution, etc |
1973. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
331 p. |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
(Computer science and applied Mathematics) |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Lee, Richard Char-Tung |
| Dates associated with a name |
1939- |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Entry Department |
RSD |
| Source of classification or shelving scheme |
|
| Verified |
JN |