TY - BOOK AU - Robison Gerson B TI - Intoduction to mathematical logic U1 - R14, K9 PY - 1969/// CY - London PB - Prentice- Hall ER -