‎"TURING, M. (+) H. A. NEWMAN.‎
‎A Formal Theorem in Church's Theory of Types (+) Practical forms of type theory‎

‎(No place), The Association for Symbolic Logic, 1942, 1943 &1948. Lev8vo. Bound in two uniform red half cloth with gilt lettering to spine. In ""Journal of Symbolic Logic"", Volume 7, 8 [Bound together] & 13.. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. Minor scratches to extremities of volume 13. A fine set. Pp. 28-33" Pp. 80-94. [Entire volumes: IV, 164 pp." IV, 236 pp.).‎

Reference : 48381

‎First printing of the two important - but often overlooked - papers by Turing which provide ""information about Turing's thoughts on the logical foundations of mathematics which is not to be found elsewhere in his writings"". (Copeland, The Essential Turing, P. 206). ‎