The Calculi of Lambda Conversion. (AM-6)

The Calculi of Lambda Conversion. (AM-6) is a 1-book series first released in 1951 with contributions by Alonzo Church.