Logic for computer science foundation of automatic theorem proving by Jean H. Gallier
Material type:![Book](/opac-tmpl/lib/famfamfam/BK.png)
- 006042254
- 511.3 N861;2
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
JRD Tata Memorial Library | 511.3 N861;2 (Browse shelf(Opens below)) | Available | 138317 |
There are no comments on this title.