Библиотечка
О Библиотечке
Читальня
(Only OnLine)
Тематические подборки материалов
Количественные методы в логике
Семиотические исследования формального логико-математического дискурса
Совместная эволюция философии, логики и математики
Аксиоматические построения Спинозы
О формализациях аксиоматических построений Спинозы
Формализация фрагмента первой части "Этики" Спинозы (Алекс Блюм, Стенли Малинович / пер. с англ. Т.А. Шияна, редакция 2005) (PDF)
||
Архив ZIP
Сокращенный вариант статьи "Формализация фрагмента первой части "Этики" Спинозы" в HTML c латинскими цитатами
Разное
Некоторые работы, связанные с проектом сравнения формальных теорий
Ресурсы Internet по логике
Поиск по литературе в БД формальных теорий