Logic in computer science (Record no. 363658)

MARC details
000 -LEADER
fixed length control field 00647nam a2200193Ia 4500
001 - CONTROL NUMBER
control field 0000328619
003 - CONTROL NUMBER IDENTIFIER
control field 0003
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 191220s9999||||xx |||||||||||||| ||eng||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 521670896
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.10151
084 ## - OTHER CLASSIFICATION NUMBER
Classification number 005.10151
Item number HUT
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Huth, Michael
245 #0 - TITLE STATEMENT
Title Logic in computer science
Medium [Book]
Remainder of title modelling and reasoning about systems
Statement of responsibility, etc. Michael Huth.
250 ## - EDITION STATEMENT
Edition statement 2nd Ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Cambridge University Press
521 ## - TARGET AUDIENCE NOTE
Target audience note All.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer Logic
852 ## - LOCATION
Piece designation 10003000009715
-- 628.00
Classification part 005.10151 HUT
-- Donated By Multi-Line Books, Lahore
Sublocation or collection Main Library
Former shelving location Textbooks
Copy number 1
Piece physical condition 1-New
Location Abbotabad Campus
Holdings
Date last seen Total checkouts Full call number Shelving location Price effective from Koha item type Lost status Damaged status Not for loan Withdrawn status Home library Barcode Current library Date acquired
11/17/2023   005.10151 HUT   11/17/2023 Books         COMSATS University Abbottabad Campus 10003000009715 COMSATS University Abbottabad Campus 11/17/2023