TY - BOOK AU - TI - Mathematical Logic and Computability SN - 0079129315 AV - QA9. K21 PY - 1996/// CY - New York PB - The McGraw-Hill Companies, Inc KW - ER -