001.642 / F564c
Fitting, Melvin
Computability theory, semantics, and logic programming
/ Melvin Fitting
.- New York: Oxford University Press, 1987
.- xi, 198p.
.- ( Oxford Logic Guides
ISBN: 0195036913
Subject Headings:
Computable Functions;
Data Structures (Computer Science);
Copy Details:
Acc. No.: A97387, Full Call No.: 001.642 F564c, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------