Computability theory, semantics, and logic programming / Melvin Fitting.
By: Fitting, Melvin.
Material type: TextSeries: Oxford logic guides ; 13.Publisher: New York : Oxford University Press, 1987Description: xi, 198 p.ISBN: 0195036913.Subject(s): Computable functions.---DDC classification: 410.285Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Book | Dr. B. R. Ambedkar Central Library European Languages Collections/English | English Collections | 410.285F564Co (Browse shelf(Opens below)) | Available | 157398 |
There are no comments on this title.