TheDudoser/MathLogicLabs

Лабы по мат логике (машины Тьюринга, Поста, нормальные алгорифмы Маркова)