Computability theory, semantics, and logic programming/ Melvin Fitting.
Series: Oxford logic guides ; 13Publication details: New York: Oxford University Press, Oxford: Clarendon Press, 1987.Description: xi, 198 p.: ill.; 24 cmISBN:- 0195036913 (alk. paper)
- 005 F547c
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 005 F547c 1987 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000161177 |
Includes bibliographies and index.
There are no comments on this title.