The Calculi of Lambda Conversion. (Am-6), Volume 6