I am having a great time with calculus of computation. It reads like a math logic book, but there is a solid proof system that comes as a companion to it.

http://theory.stanford.edu/~arbrad/pivc/book.html