TY - BOOK AU - "Nidditch, P H" TI - Introductory Formal Logic of Mathematics CY - University Tuturial Press. N1 - includes index and biblioraphy ER -