Теория поиска вывода. Происхождение и философские приложения монография
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по...
Сохранить в:
| 主要作者: | |
|---|---|
| 格式: | Книга |
| 主题: | |
| 在线阅读: | Перейти к просмотру издания |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
