Basic Proof Theory (Record no. 13671)

000 -LEADER
fixed length control field 00586nam a2200229 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160616s1996, 2000 000 0
245 ## - TITLE STATEMENT
Title Basic Proof Theory
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Troelstra, A S.
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Schwichtenberg, H.
250 ## - EDITION STATEMENT
Edition statement 1st & 2nd
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Cambridge
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher CUP
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Year of publication 1996, 2000
300 ## - PHYSICAL DESCRIPTION
Number of Pages 343p; 417p;
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Cambridge Tracts in Theoretical Computer Science, V. 43
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 0 521 57223 1
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Basic Proof Theory
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type BOOKS
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 681.3 TRO
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 681.3 TRO
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 681.3 TRO
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Full call number Accession Number Koha item type
        IMSc Library IMSc Library Second floor, Rack No: 49, Shelf No: 22 681.3 TRO 43745 BOOKS
        IMSc Library IMSc Library Second floor, Rack No: 49, Shelf No: 22 681.3 TRO 35929 BOOKS
        IMSc Library IMSc Library Second floor, Rack No: 49, Shelf No: 22 681.3 TRO 35425 BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha