MARC details
000 -LEADER |
fixed length control field |
01103 a2200289 4500 |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2011276796 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780521517690 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
0521517699 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
|
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
511.352 |
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN) |
-- |
30274 |
-- |
30274 |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Schwichtenberg, Helmut |
245 10 - TITLE STATEMENT |
Title |
Proofs and computations |
Statement of responsibility, etc. |
Helmut Schwichtenberg, Stanley S. Wainer |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Ithaca, NY |
Name of publisher, distributor, etc. |
Association for Symbolic Logic |
Place of publication, distribution, etc. |
Cambridge |
-- |
New York |
Name of publisher, distributor, etc. |
Cambridge University Press |
Date of publication, distribution, etc. |
2012 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xiii, 465 p |
Other physical details |
ill |
Dimensions |
24 cm |
490 1# - SERIES STATEMENT |
Series statement |
Perspectives in logic |
500 ## - GENERAL NOTE |
General note |
Contine bibliogr. si index |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computable functions |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Proof theory |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Wainer, S. S |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
Association for Symbolic Logic |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Perspectives in logic |
856 41 - ELECTRONIC LOCATION AND ACCESS |
Materials specified |
Table of contents only |
Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/enhancements/fy1208/2011276796-t.html">http://www.loc.gov/catdir/enhancements/fy1208/2011276796-t.html</a> |
856 41 - ELECTRONIC LOCATION AND ACCESS |
Materials specified |
Contributor biographical information |
Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/enhancements/fy1208/2011276796-b.html">http://www.loc.gov/catdir/enhancements/fy1208/2011276796-b.html</a> |
856 41 - ELECTRONIC LOCATION AND ACCESS |
Materials specified |
Publisher description |
Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/enhancements/fy1208/2011276796-d.html">http://www.loc.gov/catdir/enhancements/fy1208/2011276796-d.html</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Institution code [OBSOLETE] |
IMAR |
Koha item type |
Carti |
Serial record flag |
RM |