Computability theory, semantics and logic programming. by Melvin Fitting.
Material type: BookSeries: Oxford logic guides ; no.13Publication details: New York Oxford univ Press 1987Description: xi, 198pISBN:- 0195036913
- 001.642 N8724
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 001.642 N8724 (Browse shelf(Opens below)) | Available | 142460 |
There are no comments on this title.