"Handbook of logic in computer science" - читать интересную книгу автора (S. Abramsky, Dov. M. Gabbay, T. S. E. Maibaum)