Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Introduction to higher order categorical logic (Record no. 275593)

000 -LEADER
fixed length control field 00544pam a2200205a 44500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220708131555.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160408b1986 xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 0521246652
040 ## - CATALOGING SOURCE
Transcribing agency IIT Kanpur
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 512.55
Item number L171I
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Lambek,J.
245 1# - TITLE STATEMENT
Title Introduction to higher order categorical logic
Statement of responsibility, etc J. Lambek and P.J. Scott.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Cambridge
Name of publisher Cambridge University Press
Year of publication 1986
300 ## - PHYSICAL DESCRIPTION
Number of Pages 293p
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Categories (Mathematics)
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Scott, P.J.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Full call number Accession Number Koha item type
        General Stacks PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2007-08-12 512.55 L171I A95226 Books

Powered by Koha