|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Доказательство. Труды Московского семинара по философии математики. М.: URSSсборник
- Год издания: 2013
- Место издания: URSS Москва
- Добавил в систему: Косилова Елена Владимировна
Статьи, опубликованные в сборнике
-
- 2013 Надежность и строгость математического доказательства
- Перминов В.Я.
- в сборнике Доказательство. Труды Московского семинара по философии математики. М.: URSS, место издания URSS Москва, с. 60-85
-
- 2013 Проблема доказательства разрешимости и полноты силлогистических теорий с помощью конструктивных методов (метода аналитических таблиц и построения множеств Хинтикки)
- Красненкова А.В.
- в сборнике Доказательство. Труды Московского семинара по философии математики. М.: URSS, место издания URSS Москва