Los Angeles: 1984. Church, Alonzo (1903-95). Autograph letter signed to Martin Davis (1928-2023). 1+ pages on single sheet. Los Angeles, 21 May 1984. 215 x 141 mm. Fine. From Alonzo Church, who made major contributions to mathematical logic, including the lambda calculus (a universal model of computation), the Church-Turing thesis..... More