Online Public Access Catalogue

Logic in Computer Science (Record no. 5990)

MARC details
000 -LEADER
fixed length control field 00311nam a2200133Ia 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250626142218.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 241013s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521670890
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Huth, Michael.
245 #0 - TITLE STATEMENT
Title Logic in Computer Science
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Classics
Date of publication, distribution, etc. 2021
300 ## - PHYSICAL DESCRIPTION
Extent 536p.,
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection Home library Current library Date acquired Source of acquisition Cost, normal purchase price Total checkouts Full call number Barcode Date last seen Price effective from Koha item type
        CSE NMIT NMIT 2008-08-13 SBD/13917/25.Nov.2016 371.25   003.5 HUT 16023 2024-10-13 2024-10-13 Books
        M.Tech-CSE NMIT NMIT 2011-02-08 SE/61/01.Jan.2015 359.20   003.5 HUT 22492 2024-10-13 2024-10-13 Reference
        M.Tech-CSE NMIT NMIT 2011-02-08 SBD/14418/22.Jan.2020 769.00   003.5 HUT 22493 2024-10-13 2024-10-13 Books
        M.Tech-CSE NMIT NMIT 2011-02-08 SBD/14418/22.Jan.2020 769.00   003.5 HUT 22494 2024-10-13 2024-10-13 Books
        M.Tech-CSE NMIT NMIT 2011-02-08 ME/57/02.May.2022     003.5 HUT 22495 2024-10-13 2024-10-13 Books
        M.Tech-CSE NMIT NMIT 2011-02-08 ME/57/02.May.2022     003.5 HUT 22496 2024-10-13 2024-10-13 Books
        M.Tech-CSE NMIT NMIT 2011-08-18 SD/117/30.Jan.2009 85.00   005.1 HUT 23093 2024-10-13 2024-10-13 Books
        M.Tech-CSE NMIT NMIT 2011-08-18 ME/490/19.Jan.2022     005.1 HUT 23094 2024-10-13 2024-10-13 Books