Normal view MARC view ISBD view

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
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