If you have any of these and don't need it anymore, I'll be glad if you send it to me. I'm ready to cover the shipping costs.
- Introduction to Automata Theory, Languages, and Computation by John Hopcroft and Jeff Ullman
- The little MLer by by Daniel P. Friedman and Matthias Felleisen
- Basic Category Theory for Computer Scientists by Benjamin C. Pierce