Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления (7-е, стереотипное)
Верещагин Н.К., Шень А.
Обложка:
