Математическая логика и теория алгоритмов. Введение. (Глава 1 ...