TY - BOOK AU - Keisler H Jerome AU - Robbin Joel TI - Mathematical logic and computability SN - 0-07-114426-9 U1 - 511.3 PY - 1996/// CY - New York PB - McGraw-Hill KW - Computable functions KW - Mathematical logic KW - Predicate logic KW - Propositional logic ER -