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