Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления - O'quv qo'llanmalar, 240 sahifa, PDF | DocLab