Book

Handbook of logic in computer science

by Samson Abramsky, Dov M. Gabbay