UCSC Library OPAC

DOMAINS AND LAMBDA-CALCULI (Record no. 22754)

MARC details
000 -LEADER
fixed length control field 00496nam a2200193Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 240509s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0000521622778
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title English
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.3
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Cutter number A51
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name AMADIO R.M. & CURIEN P.
245 #0 - TITLE STATEMENT
Title DOMAINS AND LAMBDA-CALCULI
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. CAMBRIDGE : CAMBRIDGE UNIVERSITY PRESS
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Date of publication, distribution, etc. 1998
300 ## - PHYSICAL DESCRIPTION
Extent (Pages) 484 p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Artififical Inteligent :Semantics : Programming Language
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Refrence Book
945 ## - LOCAL PROCESSING INFORMATION (OCLC)
creator borrowernumber 1
creator name Madushi Gamage
modifier borrowernumber 1
modifier name Madushi Gamage
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Shelving location Date acquired Inventory number Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Dewey Decimal Classification     Reference Collection UCSC Library UCSC Library Reference Section 27/06/2024 2761   006.3 A51 A12761 27/06/2024 27/06/2024 Refrence Book
    Dewey Decimal Classification     Lending Collection UCSC Library UCSC Library Lending Section 27/06/2024 3537   006.3 A51 A13537 27/06/2024 27/06/2024 Lending Book
© 2026 All rights reserved. UCSC