TY - BOOK AU - Crossley, John N. TI - What is mathematical logic? U1 - 160 PY - 1972/// (1979) CY - London, New York PB - Oxford University Press KW - Logic, Symbolic and mathematical N1 - Includes bibliographical references (p. [79]) and index ER -