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

Обложка: