Mathematical logic and computability - Keisler H Jerome; Robbin Joel (New York McGraw-Hill, 1996)
Keywords: Computable functions; Mathematical logic; Predicate logic; Propositional logic