Perhaps Knuth's "The Art of Computer Programming" and Sedgewick's (Knuth's student) "An Introduction to the Analysis of Algorithms".

Also, Ben-Ari's "Mathematical Logic for Computer Science" and Pierce's "Software Foundations".