Mathematical logic for computer science (Record no. 10306)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01520nam a2200229 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | ASIN1447141288 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20190522140130.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 151030s2012 xxu eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 1447141288 (paperback) |
| Terms of availability | $59.95 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781447141280 |
| 037 ## - SOURCE OF ACQUISITION | |
| Terms of availability | 4539.00 PKR |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | AUCL |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Ben-Ari, Mordechai. |
| 9 (RLIN) | 15229 |
| 245 10 - TITLE STATEMENT | |
| Title | Mathematical logic for computer science |
| Statement of responsibility, etc. | Mordechai Ben-Ari. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 3rd ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | London |
| Name of publisher, distributor, etc. | Springer |
| Date of publication, distribution, etc. | 2012. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xv; 346 p. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems. The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic for the verification of concurrent programs. The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Amazon.com |
| Uniform Resource Identifier | <a href="http://www.amazon.com/exec/obidos/ASIN/1447141288/chopaconline-20">http://www.amazon.com/exec/obidos/ASIN/1447141288/chopaconline-20</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Book |
| 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 | Source of acquisition | Inventory number | Total Checkouts | Full call number | Barcode | Date last seen | Date last checked out | Cost, replacement price | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Air University Central Library Islamabad | Air University Central Library Islamabad | 10/30/2015 | Iqra Book Agency | AIU-105 | 2 | 511 BEN | P11036 | 10/25/2023 | 01/23/2023 | 4539.00 | 10/17/2015 | Book | Program Relevancy: BSCS; Course Relevancy: Theory of Automata. | ||||||
| Dewey Decimal Classification | Air University Central Library Islamabad | Air University Central Library Islamabad | 10/30/2015 | Iqra Book Agency | AIU-105 | 511 BEN | P11037 | 01/11/2017 | 4539.00 | 10/17/2015 | Book | Program Relevancy: BSCS; Course Relevancy: Theory of Automata. |