Математика, Программы
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления [5-е издание стереотипное]
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается...