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: Electronic digital computers -- Programming.; Logic, Symbolic and mathematical.
Notes: Includes bibliographies and index.