8 books • 3 series
Book #6: The Calculi of Lambda Conversion. (AM-6)
Book #13: Introduction to Mathematical Logic (PMS-13)
