Logic in Computer Science (Record no. 13456)

000 -LEADER
fixed length control field 00565nam a2200229Ia 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0-521-67089-6
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name HUTH MICHAEL and RYAN MARK
250 ## - EDITION STATEMENT
Edition statement 2nd
245 ## - TITLE STATEMENT
Title Logic in Computer Science
Remainder of title Modelling and Reasoning about Systems
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Cambridge University Press
Date of publication, distribution, etc. 2004
Place of publication, distribution, etc. New York
365 ## - TRADE PRICE
Currency code RS
365 ## - TRADE PRICE
Unit of pricing 1
365 ## - TRADE PRICE
Price note 30
300 ## - PHYSICAL DESCRIPTION
Extent XIV+427P
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic in Computer Science
654 ## - SUBJECT ADDED ENTRY--FACETED TOPICAL TERMS
Focus term Logic
654 ## - SUBJECT ADDED ENTRY--FACETED TOPICAL TERMS
Focus term in
654 ## - SUBJECT ADDED ENTRY--FACETED TOPICAL TERMS
Focus term Computer
654 ## - SUBJECT ADDED ENTRY--FACETED TOPICAL TERMS
Focus term Science
654 ## - SUBJECT ADDED ENTRY--FACETED TOPICAL TERMS
Focus term Logic in Computer Science
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Engineering Book
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type Total Checkouts Date due Date last checked out
        M.Tech CSE MVJCE CENTRAL LIBRARY MVJCE CENTRAL LIBRARY 09/04/2011 005.131 HUT 2 32047 13/07/2023 495.00 13/07/2023 Engineering Book      
        M.Tech CSE MVJCE CENTRAL LIBRARY MVJCE CENTRAL LIBRARY 09/04/2011 005.131 HUT 2;1 32048 13/07/2023 495.00 13/07/2023 Engineering Book      
        M.Tech CSE MVJCE CENTRAL LIBRARY MVJCE CENTRAL LIBRARY 09/04/2011 005.131 HUT 2;2 32049 13/07/2023 495.00 13/07/2023 Engineering Book      
        M.Tech CSE MVJCE CENTRAL LIBRARY MVJCE CENTRAL LIBRARY 09/04/2011 005.131 HUT 2;3 32050 13/07/2023 495.00 13/07/2023 Engineering Book      
        M.Tech CSE MVJCE CENTRAL LIBRARY MVJCE CENTRAL LIBRARY 09/04/2011 005.131 HUT 2;4 32051 13/07/2023 495.00 13/07/2023 Engineering Book      
        M.Tech CSE MVJCE CENTRAL LIBRARY MVJCE CENTRAL LIBRARY 09/04/2011 005.131 HUT 2;5 32052 13/07/2023 495.00 13/07/2023 Engineering Book      
        M.Tech CSE MVJCE CENTRAL LIBRARY MVJCE CENTRAL LIBRARY 09/04/2011 005.131 HUT 2;6 32053 13/07/2023 495.00 13/07/2023 Engineering Book      
        M.Tech CSE MVJCE CENTRAL LIBRARY MVJCE CENTRAL LIBRARY 09/04/2011 005.131 HUT 2;7 32054 13/07/2023 495.00 13/07/2023 Engineering Book      
        M.Tech CSE MVJCE CENTRAL LIBRARY MVJCE CENTRAL LIBRARY 09/04/2011 005.131 HUT 2;8 32055 13/07/2023 495.00 13/07/2023 Engineering Book      
        M.Tech CSE MVJCE CENTRAL LIBRARY MVJCE CENTRAL LIBRARY 09/04/2011 005.131 HUT 2;9 32056 13/07/2023 495.00 13/07/2023 Engineering Book      
        M.Tech CSE MVJCE CENTRAL LIBRARY MVJCE CENTRAL LIBRARY 09/04/2011 005.131 HUT 2;10 32057 14/02/2024 495.00 13/07/2023 Engineering Book 1 05/03/2295 14/02/2024

Powered by Koha