Title: Calculi of Lambda Conversion. (AM-6), Volume 6
Subjects: Logic, symbolic and mathematical, Recursive functions