3 books • 2 series
Foundations of Mathematical Logic (Dover Books on Mathematics)
Combinatory Logic (Study in Logic & Mathematics)
Outlines of a Formalist Philosophy of Mathematics (Study in Logic & Mathematics)