"Nidditch, P H" Introductory Formal Logic of Mathematics - \\195700ENGGPSX - University Tuturial Press. 1957 London - 188 p includes index and biblioraphy