Book

Computability theory, semantics, and logic programming

by Melvin Fitting