Международная школа-конференция по математическим проблемам информатики: вычислимость и доказуемость
С 20 по 24 сентября 2013 г. в Омском научном центре СО РАН прошла Международная школа-конференция
по математическим проблемам информатики: вычислимость и доказуемость.