Dynamic logic / (Record no. 4278)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00626 a2200205 4500 |
| 010 ## - LCCN (DPL NO) | |
| LC control number | ENG-86229 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9788120331716 |
| Terms of availability | 295.00 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | EN-69761 |
| 037 ## - SOURCE OF ACQUISITION | |
| Source of stock number/acquisition | DBAD / PUB |
| 082 14 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.0151 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Harel, David |
| 245 1# - TITLE STATEMENT | |
| Title | Dynamic logic / |
| Statement of responsibility, etc | by David Harel, Dexter Kozen [and] Jerzy Tiuryn |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | New Delhi |
| Name of publisher, distributor, etc | Prentice-Hall of India |
| Date of publication, distribution, etc | 2007 |
| 270 ## - ADDRESS | |
| Address | M-97, Connaught Circus |
| City | New Delhi |
| State or province | New Delhi |
| Postal code | 110 001 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xv, 459p. |
| Dimensions | 23cm. (Pbk) |
| 500 ## - GENERAL NOTE | |
| General note | Includes index |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kozen, Dexter |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Tiuryn, Jerzy |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Institution code [OBSOLETE] | dpl |
| Item type | English Books |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Classification part | 004.0151 |
| Call number suffix | HAR |
| Withdrawn status | Lost status | Not for loan | Collection code | Home library | Current library | Source of acquisition | Cost, normal purchase price | Full call number | Barcode | Copy number | Cost, replacement price | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Not For Loan | Non-fiction | D.B.Act.Division | D.B.Act.Division | DBAD/PUB | 295.00 | 004.0151 HAR | EN-69762 | 1 | 295.00 | English Books |