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

Верещагин Н. К., Шень А.

 

---