Теория поиска вывода. Происхождение и философские приложения монография
Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Книга |
| Langue: | Russian |
| Publié: |
Калининград
БФУ им. И.Канта
2012
|
| Sujets: | |
| Accès en ligne: | https://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=13199 https://e.lanbook.com/img/cover/book/13199.jpg |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|