MATH-LiB Online Catalogue

Mathematics Information Resource Centre, Department of Mathematics, IISc, Bangalore.

Applied proof theory : (Record no. 151)

MARC details
000 -LEADER
fixed length control field 00307nam a2200097Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220816s9999||||xx |||||||||||||| ||und||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540775324 (alk. paper) | 9783540775331 (e-ISBN)
245 #0 - TITLE STATEMENT
Title Applied proof theory :
Statement of responsibility, etc. Kohlenbach, U.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Berlin :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. 2008
300 ## - PHYSICAL DESCRIPTION
Extent xix, 532 p. ;
Dimensions 24 cm.
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Dewey Decimal Classification       MATH-LiB MATH-LiB General Stack 08/29/2022   511.3 P081 186634 08/29/2022 08/29/2022 Book