Формализация сегмента Части I Этики Спинозы
Алекс Блюм, Стенли Малинович
Перевод с английского Т.А. Шияна
В статье описывается символьная реконструкция фрагмента Этики, доказанной геометрическим способом Спинозы, осуществленная средствами первопорядковой логики предикатов с равенством.