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