Author :
Fitting, Melvin Chris, 1942-
Title :
Computability theory, semantics, and logic programming
Author Statement :
Melvin Fitting
Publication :
Oxford University Press ; Oxford : Clarendon Press
Collation :
xi, 198 p.: ill.; 24 cm
Series :
Oxford logic guides ; 13
Subject :
Computable functions,Data structures (Computer science)
Holding Info. :
0195036913
Biblography :
Includes bibliographies and index
