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