Logic and discrete mathematics : (Record no. 5318)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01198nam a2200193 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | ASIN0135012066 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20190522123710.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 130904s1995 xxu eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0135012066 (hardcover) |
| Terms of availability | $162.60 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780135012062 (hardcover) |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Grassmann, Winfried Karl. |
| 245 10 - TITLE STATEMENT | |
| Title | Logic and discrete mathematics : |
| Remainder of title | a computer science perspective / |
| Statement of responsibility, etc. | Winfried Karl Grassmann, Jean-Paul Tremblay. |
| 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. | 1995. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 750 p. ; |
| Dimensions | 23 cm. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This book covers all the traditional topics of discrete mathematics���logic, sets, relations, functions, and graphs���and reflects recent trends in computer science. Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog , a programming language based on logic, and a section on Miranda, language bad on functions. Features numerous examples which relate the mathematical concepts to problems in computer scien |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Tremblay, Jean-Pa |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Amazon.com |
| Uniform Resource Identifier | <a href="http://www.amazon.com/exec/obidos/ASIN/0135012066/chopaconline">http://www.amazon.com/exec/obidos/ASIN/0135012066/chopaconline</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 | Date last checked out | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Air University Central Library Islamabad | Air University Central Library Islamabad | Computer Science | 09/03/2013 | 1 | 005.1015113 GRA | P1578 | 03/15/2021 | 09/02/2020 | 09/03/2013 | Book |