Библиотечка
О Библиотечке
Читальня
(Only OnLine)
Тематические подборки материалов
Количественные методы в логике
Семиотические исследования формального логико-математического дискурса
Совместная эволюция философии, логики и математики
О совместном становлении математики и философии в Древней Греции
(статья, 2011)
К проблеме становления математики и философии в Древней Греции (статья, 2011)
Аксиоматические построения Спинозы
Разное
Некоторые работы, связанные с проектом сравнения формальных теорий
Ресурсы Internet по логике
Поиск по литературе в БД формальных теорий