Computability theory, semantics, and logic programming/
Fitting, Melvin, 1942-
Computability theory, semantics, and logic programming/ Melvin Fitting. - New York: Oxford: Oxford University Press, Clarendon Press, 1987. - xi, 198 p.: ill.; 24 cm. - Oxford logic guides; 13 .
Includes bibliographies and index.
0195036913 (alk. paper)
85005003 //r892
GB88-7120
Computable functions.
Data structures (Computer science)
005 / F547c
Computability theory, semantics, and logic programming/ Melvin Fitting. - New York: Oxford: Oxford University Press, Clarendon Press, 1987. - xi, 198 p.: ill.; 24 cm. - Oxford logic guides; 13 .
Includes bibliographies and index.
0195036913 (alk. paper)
85005003 //r892
GB88-7120
Computable functions.
Data structures (Computer science)
005 / F547c