Computability theory, semantics, and logic programming by Melvin Fitting | Menrva Books | MenrvaBooks