
Похожие статьи
- В поисках теории поиска вывода2013 / Драгалина-черная Е. Г.
- 2006. 01. 011. Логика и компьютер. - М. : Наука, 2004. - вып. 5: пусть докажет компьютер. - 207 с2006 / Романова

Похожие статьи
- Влияние Геделя на философию математики2010 / Агацци Эвандро
- Методология истории логики: синтетический подход2011 / Пушкарский Анатолий Геннадьевич
Похожие статьи
- Программа формализма Гильберта как работающее философское направление обоснования математики2015 / Михайлова Н. В.
- Философско-методологическая проблема непротиворечивости математических теорий2013 / Михайлова Н. В.