Computability theory semantics and logic programming /
Fitting, Melvin
Computability theory semantics and logic programming / - New York : OUP , 1987. - Ppxii+198, 23.5cms
Computability theory semantics and logic programming / - New York : OUP , 1987. - Ppxii+198, 23.5cms