Set Theory for Computing (Record no. 466946)

MARC details
000 -LEADER
fixed length control field 00651nam a2200217Ia 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20231121095957.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 231120s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0-387-95197-0
040 ## - CATALOGING SOURCE
Original cataloging agency LIS CUI Lahore
Transcribing agency AACR-II/RDA
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.4226 KAM-D
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Cantone, Domenico
245 #0 - TITLE STATEMENT
Title Set Theory for Computing
Remainder of title From Decision Procedures to Declarative Programming With Sets
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York
Name of publisher, distributor, etc. Springer Publishing Company
264 ## - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Date of production, publication, distribution, manufacture, or copyright notice 0
300 ## - PHYSICAL DESCRIPTION
Extent Soft Binding
Other physical details 409
365 ## - TRADE PRICE
Price amount 5185
Currency code Rs.
546 ## - LANGUAGE NOTE
Language note English
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
General subdivision Computing
852 ## - LOCATION
Accession No. LHR 8773
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type
Classification part 1
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Cost, normal purchase price Total checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
        COMSATS University Lahore Campus COMSATS University Lahore Campus 11/21/2023 5185.00   001.4226 KAM-D LHR 8773 11/21/2023 1 11/21/2023 Books