このスレで見かけて読んだ本

Friedman, Felleisen "Little Schemer"
Sussman, Abelson, Sussman "Structure and Interpretation of Computer Programs"
Chris Hankin "An Introduction to Lambda Calculi for Computer Scientists"
Raymond Smullyan "To Mock A Mockingbird"

４つとも勉強になった。