Title: Computability theory, semantics, and logic programming
First published: 1987
Subjects: Computable functions, Data structures (Computer science)
LC classification: QA9.59 .F58 1987