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