Теория поиска вывода. Происхождение и философские приложения монография
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Книга |
| Ngôn ngữ: | Russian |
| Được phát hành: |
Калининград
БФУ им. И.Канта
2012
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=13199 https://e.lanbook.com/img/cover/book/13199.jpg |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|