Logic in Computers Science : (Record no. 3696)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00478nam a22001817a 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20210204113246.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 210203b ||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780521670890 |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1015113 |
| Item number | SRI/O |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Michael Huth |
| 245 ## - TITLE STATEMENT | |
| Title | Logic in Computers Science : |
| Remainder of title | Modelling And Reasoning About Systems |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Cambridge |
| Name of publisher | Cambridge University Press |
| Year of publication | 2004 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 427 |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Mark Ryan |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Withdrawn status | Lost status | Damaged status | Collection code | Home library | Current library | 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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Computer Science | Indian Institute of Technology Tirupati | Indian Institute of Technology Tirupati | General Stacks | 03/02/2021 | The Book Syndicate | 703.00 | BS/40523 | 005.1015113 HUT/L | 07301 | 950.00 | 19/01/2021 | Books | |||
| Computer Science | Indian Institute of Technology Tirupati | Indian Institute of Technology Tirupati | General Stacks | 03/02/2021 | The Book Syndicate | 703.00 | BS/40523 | 005.1015113 HUT/L | 07302 | 950.00 | 19/01/2021 | Books | |||
| Computer Science | Indian Institute of Technology Tirupati | Indian Institute of Technology Tirupati | Reference | 03/02/2021 | The Book Syndicate | 703.00 | BS/40523 | REF 005.1015113 HutL2 | 07303 | 950.00 | 19/01/2021 | Reference | |||
| Computer Science | Indian Institute of Technology Tirupati | Indian Institute of Technology Tirupati | General Stacks | 22/02/2021 | The Book Syndicate | 703.00 | BS/40405 | 005.1015113 HUT/L | 07505 | 950.00 | 10/11/2020 | Books |