TY - BOOK AU - Crossley,John N....[et al] TI - What is mathematical logic? T2 - Oxford paperbacks University Series (OPUS) SN - 0198880871 (pbk.) U1 - 511.3 23 PY - 1972/// CY - London PB - Oxford University Press KW - Logic, Symbolic and mathematical N1 - Bibliography: p.79 ER -