A new proof of the Church-Rosser theorem. Offprint. Mimeograph errata slip laid in

Curry, Haskell B. (1900-1982). A new proof of the Church-Rosser theorem. Offprint from Konikl. Nederl. Akademie van Wetenschappen-Amsterdam, Proceedings, series A, 55 (1952). 16-23pp. Mimeographed errata slip laid in. 260 x 182 mm. Without wrappers as issued. Slight creasing but very good.

First Edition, Offprint Issue. Curry's paper containing his new proof of the Church-Rosser theorem-which proves pure -calculus consistent-precedes by six years the proof he and Feys published in their major textbook Combinatory Logic (1958). Our copy includes the errata slip noting that "Professor M. H. A. Newman has called attention to the fact that the condition J2 does not apply to the lambda calculus. On account of this fact, the theorem in question, although presumably correct, does not have the intended application."