Языки и исчисления : Лекции по мат. логике и теории алгоритмовВерещагин, Николай Константинович2000286 с.