Logic in computer science (Record no. 15166)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00408nam a2200133Ia 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 230721s9999||||xx |||||||||||||| ||und|| |
041 ## - LANGUAGE CODE | |
Language code of text/sound track or separate title | eng |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 006.3 |
Item number | T04 HUT.R |
100 ## - MAIN ENTRY--AUTHOR NAME | |
Personal name | Huth, Michael and Ryan, Mark |
245 #0 - TITLE STATEMENT | |
Title | Logic in computer science |
Remainder of title | : modelling and reasoning about systems |
Statement of responsibility, etc | Huth, Michael and Ryan, Mark |
250 ## - EDITION STATEMENT | |
Edition statement | 2nd ed. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Name of publisher | Cambridge |
Year of publication | 2004 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | Books |
Lost status | Damaged status | Permanent Location | Current Location | Shelving location | Date acquired | Cost, normal purchase price | Full call number | Accession Number | Koha item type |
---|---|---|---|---|---|---|---|---|---|
Nalanda Library | Nalanda Library | Circulation Books | 495.00 | 006.3 T04 HUT.R | 6442 | Books |