Mathematical logic for computer science / (Record no. 281)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01175nam a2200217 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | ASIN013564139X |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20190522111910.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 110824s1993 xxu eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 013564139X (paperback) |
| Terms of availability | $35.00 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780135641392 (paperback) |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Ben-Ari, Mordechai. |
| 245 10 - TITLE STATEMENT | |
| Title | Mathematical logic for computer science / |
| Statement of responsibility, etc. | Mordechai Ben-Ari. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | [S.l.] : |
| Name of publisher, distributor, etc. | Prentice Hall, |
| Date of publication, distribution, etc. | 1993. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 320 p. ; |
| Dimensions | 25 cm. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Prentice-hall international series in computer science. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Designed to provide a firm foundation in mathematical logic, this book provides an elementary yet rigorous textbook for both graduate study and for applications of logic, such as logic programming and formal specification and verification. The text supplies the mathematics often treated sketchily in introductory computer science books, while using the simplest techniques rather than the most general used in mathematical books. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Prentice-hall international series in computer science. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Amazon.com |
| Uniform Resource Identifier | <a href="http://www.amazon.com/exec/obidos/ASIN/013564139X/chopaconline-20">http://www.amazon.com/exec/obidos/ASIN/013564139X/chopaconline-20</a> |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Air University Central Library Islamabad | Air University Central Library Islamabad | 08/24/2011 | 511. BEN | P0458 | 09/10/2011 | 09/10/2011 | Book |