Handbook of logic in computer science (Record no. 21455)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00355nam a2200109Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 230921s9999||||xx |||||||||||||| ||und|| |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Abramsky, S, Gabbay, Dov M and Mainaum, T. S. E. |
| 245 #0 - TITLE STATEMENT | |
| Title | Handbook of logic in computer science |
| Statement of responsibility, etc | Abramsky, S, Gabbay, Dov M and Mainaum, T. S. E. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Name of publisher | Clarendon |
| Year of publication | 2003 |
| 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 | Accession Number | Koha item type |
|---|---|---|---|---|---|---|---|---|
| Nalanda Library | Nalanda Library | Circulation Books | 18168.00 | 4322 | Books |