Nidditch, P. H. Introductory formal logic of mathematics / by P. H. Nidditch. - London : University Tutorial Press, 1957. - 188 p. ; 19 cm. Includes bibliography. Subjects--Topical Terms: Metamathematics.Logic, Symbolic and mathematical.