Теория поиска вывода. Происхождение и философские приложения монография
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по...
Сохранить в:
| 主要作者: | |
|---|---|
| 格式: | Книга |
| 主題: | |
| 在線閱讀: | Перейти к просмотру издания |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|