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

Методические указания и пособия