000 -LEADER | |
---|---|
fixed length control field | 00798nam a22002177a 4500 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20130310202925.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 111214t xxu||||| |||| 00| 0 eng d |
040 ## - CATALOGING SOURCE | |
Transcribing agency | UG |
050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | BC 135 I586 |
111 ## - MAIN ENTRY--MEETING NAME | |
Meeting name or jurisdiction name as entry element | International Symposium on the Theory of Models, |
Location of meeting | Berkeley Calif., 1963. |
9 (RLIN) | 72151 |
245 ## - TITLE STATEMENT | |
Title | The theory of models; proceedings.../ |
Statement of responsibility, etc | edited by J.W. Addison, Leon Henkin (and) Alfred Tarski.- |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc | Amsterdam: |
Name of publisher, distributor, etc | North-Holland Pub. Co., |
Date of publication, distribution, etc | 1965. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | xv, 494 p. |
490 ## - SERIES STATEMENT | |
Series statement | (Studies in logic and the foundations of mathematics) |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
General subdivision | Logic - symbolic and mathematical - Congresses. |
9 (RLIN) | 5392 |
General subdivision | Mathematical models- Congresses. |
9 (RLIN) | 5393 |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Addison, John West, |
Titles and other words associated with a name | ed.- |
Dates associated with a name | 1930 - |
9 (RLIN) | 72152 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme |
No copies available.