Computability theory, semantics, and logic programming
By: Melvin Fitting.
Series: Oxford logic guides ;; 13
Publisher: Oxford University Press; Clarendon Press
Published: 1987
Place of publication: New York; Oxford
Language: eng
Number of pages: 198
Subjects: Computable functions.; Data structures (Computer science)
Notes: Includes bibliographies and index.