Structure and Interpretation of Computer Programs - 2nd Edition
Concepts, Techniques, and Models of Computer Programming
And the books in the "The Little Schemer" series.
I would also suggest "Artificial Intelligence: A Modern Approach" but this is not from MIT Press.