Menasha: Association for Symbolic Logic. 1st Edition. TWO VOLUMES, BOUND FIRST EDITIONS. 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. Item #1550
CONDITION & DETAILS: Menasha: Association for Symbolic Logic. (10 x 7 inches; 250 x 175mm). Bound in black cloth. Minimal ex-libris: two small stamps: one on front pastedown, one on front fly leaf. Slight ghosting at the spine from the removal of labels. Near fine.