"The Little Schemer" series ("Reasoned Schemer" was actually my first, but the whole series seems great. Must order the dependent types volume...)