Proofs and computations (Record no. 29973)

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
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Inventory number Full call number Barcode Date last seen Price effective from Koha item type
        IMAR IMAR 03/21/2024 Mcc 9561 II 37310 0033055   03/21/2024 Carti

Powered by Koha