Appel Andrew W Alan turing's systems of logic The princeton thesis - Princeton Princeton University Press USA 2012 - xv,143p. cm. ISBN: 9780691155746 (hbk) 1576.33 Standard No.: 21829 Source: 7433, 10/03/2015, Efficient Book Distributors Textual Subjects--Topical Terms: MATHEMATICS Dewey Class. No.: B:(R1), Q2