Н. А. Ходикова

Теория поиска вывода. Происхождение и философские приложения

В. Н. Брюшинкин Н. А. Ходикова

Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым....