"Избранные труды. Теория алгорифмов, логика, информатика" - читать интересную книгу автора (Марков А.А.)