Мини-курсы по математической логике, теоретической информатике

и теории вычислимости

(Математический центр в Академгородке)