Computability theory, semantics, and logic programming / Melvin Fitting.
Material type:
TextSeries: Oxford logic guides ; 13Publication details: New York : Oxford University Press ; Oxford : Clarendon Press, 1987.Description: xi, 198 p. : ill. ; 24 cmISBN: - 0195036913 (alk. paper)
- 001.64/2 19
- QA9.59 .F58 1987
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Informatics and Virtual Education Library Collection General Collection | QA9.59 .F58 1987 (Browse shelf(Opens below)) | Available | 1877 |
Browsing Informatics and Virtual Education Library Collection shelves, Shelving location: General Collection Close shelf browser (Hides shelf browser)
| QA9.58 .B73 1996 Fundamentals of algorithmics / | QA9.58 .S64 1988 The theory of computability : | QA9.58 .S64 1988 The theory of computability : | QA9.59 .F58 1987 Computability theory, semantics, and logic programming / | QA9.59 .M34 1984 Computability with PASCAL / | QA9.615 .R64 1987 Theory of recursive functions and effective computability / | QA13 .S77 1999 The teaching gap : |
Includes bibliographies and index.
There are no comments on this title.
Log in to your account to post a comment.