Image from Amazon.com
Mathematical logic for computer science
Material type:
BookPublication details: New York Springer-Verlag 2003Edition: 2nd edDescription: xiv, 304 p.: ill; 24 cmISBN: - 9788181283443
- 511.3 BEN
| Item type | Current library | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
IIT Gandhinagar | General | 511.3 BEN (Browse shelf(Opens below)) | Available | 007899 |
Browsing IIT Gandhinagar shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 515.63 MAT Vector calculus | 510.76 AND Mathematical Olympiad challenges | 512.7 CHI Concrete introduction to higher algebra | 511.3 BEN Mathematical logic for computer science | 519.2 CHO Probability theory : independence, interchangeability, martingales | 510 LIN Introduction to coding theory | 512.5 JAN Linear algebra |
Includes bibliographical references (p. [293]-295) and indexes.
There are no comments on this title.