TY - BOOK AU - Crossley J N TI - What is mathematical logic U1 - R1:(B), L2 (TTR) PY - 1972/// CY - London PB - OUP KW - PHILOSOPHY ER -