Koha online

HTML5 Icon

Logic in computer science: modelling and reasoning about systems (Record no. 1921)

000 -LEADER
fixed length control field 00581 a2200205 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240419125247.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 221010b ||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9780521543101
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1015113 HUT/L
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Huth, Michael
245 ## - TITLE STATEMENT
Title Logic in computer science: modelling and reasoning about systems
250 ## - EDITION STATEMENT
Edition statement 2nd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher Cambridge University Press
Year of publication 2018
Place of publication Cambridge
300 ## - PHYSICAL DESCRIPTION
Number of Pages xiv, 427p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer science
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Mathematical logic
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Ryan, Mark
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Holdings
Withdrawn status Lost status Damaged status Permanent Location Current Location Shelving location Date acquired Source of acquisition Purchase Price Bill number Full call number Accession Number Print Price Bill Date/Price effective from Koha item type Collection code
      Central Library Central Library General Stack (Sahyadri Campus) 2022-10-10 2 3466.42 280/22-23 005.1015113 HUT/L 06639 4814.47 2022-10-10 Book  
      Central Library Central Library General Stack (Sahyadri Campus) 2022-10-10 2 3466.42 280/22-23 005.1015113 HUT/L 06640 4814.47 2022-10-10 Book  
      Central Library Central Library General Stack (Sahyadri Campus) 2022-10-10 2 3466.42 280/22-23 005.1015113 HUT/L 06642 4814.47 2022-10-10 Book  
      Central Library Central Library General Stack (Sahyadri Campus) 2022-10-10 2 3466.42 280/22-23 005.1015113 HUT/L 06641 4814.47 2022-10-10 Book  
      Central Library Central Library Reference (Sahyadri Campus) 2022-10-10 2 3466.42 280/22-23 005.1015113 HUT/L 06638 4814.47 2022-10-10 Reference Reference
      Central Library Central Library General Stack (Sahyadri Campus) 2023-01-09 28 3563.43 COR/IN/23/6033 005.1015113 HUT/L 06900 4751.25 2023-01-09 Book  
      Central Library Central Library General Stack (Sahyadri Campus) 2023-01-09 28 3563.43 COR/IN/23/6033 005.1015113 HUT/L 06903 4751.25 2023-01-09 Book  
      Central Library Central Library General Stack (Sahyadri Campus) 2023-01-09 28 3563.43 COR/IN/23/6033 005.1015113 HUT/L 06902 4751.25 2023-01-09 Book  
      Central Library Central Library General Stack (Sahyadri Campus) 2023-01-09 28 3563.43 COR/IN/23/6033 005.1015113 HUT/L 06904 4751.25 2023-01-09 Book  
      Central Library Central Library General Stack (Sahyadri Campus) 2023-01-09 28 3563.43 COR/IN/23/6033 005.1015113 HUT/L 06901 4751.25 2023-01-09 Book  

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.