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
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha