Image from Amazon.com
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
Material type:
TextLanguage: English Series: Harper & Row computer science and technology seriesPublication details: New York, NY : Harper & Row, c1986.Description: xv, 511 p. ; 25 cmISBN: - 0060422254
- 511.3 23 GAL 1986
Books
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Books
|
Central Library, University of Rajshahi Reading Room | Non-fiction | 511.3 GAL 1986 (Browse shelf(Opens below)) | C-1 | Not For Loan | A123872 |
Includes bibliographies and indexes.
There are no comments on this title.
Log in to your account to post a comment.