Лекции по математической логике и теории алгоритмов. Часть 2. Языки и ...