Logical Frameworks (Record no. 6646)

000 -LEADER
fixed length control field 00479nam a2200181 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160616s1991 000 0
245 ## - TITLE STATEMENT
Title Logical Frameworks
Sub Title Workshop, Sophia Antipolis,France, 1990
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Huet, Gerard. Ed.
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Plotkin, G. Ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Cambridge
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher Cambridge university press
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Year of publication 1991
300 ## - PHYSICAL DESCRIPTION
Number of Pages 403
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 0 521 41300 1
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic
-- Frameworks
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type BOOKS
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 681.3.07 HUET
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: 50, Shelf No: 4 681.3.07 HUET 29135 BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha