Logic for computer scientists
Material type:
TextLanguage: English Series: Progress in computer science and applied logic; v 8Publication details: Boston Birkhauser 1989Description: 166pISBN: - 0-8176-3453-3
- 511.3 Sc371
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.3 Sc371 (Browse shelf(Opens below)) | Available | 112856 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| 511.3 Sa253 Innovations in fuzzy clustering | 511.3 Sc283 Essays on mathematical and philosophical logic : proceedings | 511.3 Sc286 Proof theory and intuitionistic systems | 511.3 Sc371 Logic for computer scientists | 511.3 Sch333 Cellular automata | 511.3 Sch396 Proof theory | 511.3 Sch415 Proof and computation |
There are no comments on this title.
Log in to your account to post a comment.
