Title: Computability theory, semantics, and logic programming
First published: 1987
Subjects: Electronic digital computers, Logic, Symbolic and mathematical, Programming, Symbolic and mathematical Logic, Computable functions, Data structures (Computer science), Semantics, Logic
LC classification: QA76.6