Computability theory, semantics, and logic programming /
Fitting, Melvin Chris.
New York : Oxford University Press ; Oxford : Clarendon Press,
1987.
Includes bibliographies and index.
Computable functions.
Data structures (Computer science)