Handbook of Logic in Computer Science. Volume 1 Background Mathematical ...
Samson Abramsky & Dov M. Gabbay & Thomas S. E. Maibaum