Математическая логика и теория алгоритмов. Сергиевская И.М. - 53 стр.