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