ИНТЕЛРОС > №10, 2011 > Формализация сегмента Части I Этики Спинозы Алекс Блюм, Стенли Малинович
|
В статье описывается символьная реконструкция фрагмента Этики, доказанной геометрическим способом Спинозы, осуществленная средствами первопорядковой логики предикатов с равенством Вернуться назад |