Practical Forms of Type Theory in Journal of Symbolic Logic, Volume 13, Number 2, June 1948, pp. 80-95 WITH A Review of Practical Forms in Journal of Symbolic Logic, Volume 14, Number 1, March 1949, p. 182 [ORIGINAL WRAPPERS] by Turing, Alan

Menasha: Association for Symbolic Logic. 1st Edition. TWO FIRST EDITION ISSUES IN ORIGINAL WRAPS. In "Practical Forms of Type Theory," Alan Turing wished to "encourage 'mathematicians-in-the-street' to use notation and forms of argument which would safeguard their work from ambiguity and inconsistency; but to do this without forcing their work into the straitjacket of a particular logical system, or even requiring them to have detailed knowledge of such a system. To the end of his life, he thought this aim a proper one for a logician, and from time to time gave talks to mathematicians in which he would expound particular logical points. As a logician, however, he was interested in devising formal systems which could act as bridges between the formal and the informal, and this motivated him to produce the two systems set out in this paper" (Cooper, Alan Turing, 211). The issue is accompanied by a second issue in original wraps, this housing a review of Turing's paper. CONDITION & DETAILS: Menasha: Association for Symbolic Logic. (10 x 7 inches; 250 x 175mm). Two issues in original wraps and in pristine condition.