[mpiedrav]

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".

[ipnon]

This is my first time hearing of any of these authors besides Knuth, thanks.

[streetcat1]

You might also want to check out

David Gries, the science of programming:

https://www.springer.com/gp/book/9780387964805