РАЦИО.ru
Рациональная реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств
.... Смирнов В. А. Логические методы анализа научного знания. М.: Наука, 1987.
16. Ходикова Н. А. Истоки возникновения теории поиска вы-вода: доказательство ... .... Hintikka J., Remes U. The method of analysis. Dordrecht, 1974.
Владимир Никифорович Брюшинкин, Нина Анатольевна Ходикова
теория поиска вывода, теории доказательств Гильберта,...
