Библиотечка
О Библиотечке
Читальня
(Only OnLine)
Тематические подборки материалов
Некоторые работы, связанные с проектом сравнения формальных теорий
Ресурсы Internet по логике
Журналы и периодические сборники
Электронные библиотеки
Электронные медиатеки
OnLine словари
Логические программы
Постоянно действующие сайты конференций, семинаров, школ и т.п.
Сайты организаций
Персональные сайты логиков
Разное
Каталог интеллектуальных ресурсов сайта Phenomen.Ru
Коллекция ссылок по логике и философии сайта Logic.ru
Общероссийский математический портал Math-net.ru
Русское зеркало The European Mathematical Information Service (EMIS)
Сборник Философия и логика Львовско-Варшавской школы (серия Научная философия)
Список Оксфордских журналов (Oxford University Press)
Поиск по литературе в БД формальных теорий