MARC details
000 -LEADER |
fixed length control field |
00911nam a2200241Ia 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
191130s1999##################000#0#eng## |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
0521635500 |
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER |
International Standard Serial Number |
99019677 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
ACL |
Transcribing agency |
ACL |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
511.3 COO |
245 ## - TITLE STATEMENT |
Title |
Models and computability : invited papers from logic colloquium '97, European meeting of the association for symbolic logic, Leeds, July 1997 |
Statement of responsibility, etc. |
edited by S. Barry Cooper, John K. Truss |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Cambridge |
Name of publisher, distributor, etc. |
Cambridge University Press |
Date of publication, distribution, etc. |
1999 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
ix, 419 p. ; 23 cm |
500 ## - GENERAL NOTE |
General note |
Includes bibliographical references |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computable functions - Congresses |
|
Topical term or geographic name entry element |
Logic, Symbolic and mathematical - Congresses |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Cooper, S. B |
|
Personal name |
Truss, J. K |
710 ## - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
Association for Symbolic Logic, Logic Colloquium (1997 : Leeds, England) |
990 ## - EQUIVALENCES OR CROSS-REFERENCES [LOCAL, CANADA] |
Link information for 9XX fields |
e0e02ccaac10000c32ace112952ec0b9 |
991 ## - |
-- |
121401 |