TY - BOOK T1 - What is mathematical logic? DA - 1972. CY - London, CY - New York, AU - Crossley, John N. CN - QA9 .W47 1972 CN - QA9 PB - Oxford University Press, PP - London, PP - New York, PY - 1972. ID - 59905 KW - Logic, Symbolic and mathematical. TI - What is mathematical logic? ER -