Дмитрий Гринченков

Математическая логика и теория алгоритмов для программистов