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