Математическая логика и компьютерные доказательства

Математическая логика и компьютерные доказательства Степан Львович Кузнецов, старший научный сотрудник Математического института им. В. А. Стеклова РАН, преподаватель кафедры методов современной математики МФТИ