Библиотечка

 
  •  О Библиотечке
  •  Читальня (Only OnLine)
    		•
  •  Тематические подборки материалов
    		•
  •  Некоторые работы, связанные с проектом сравнения формальных теорий
    		•
  •  Ресурсы Internet по логике
  •  Журналы и периодические сборники
  •  Электронные библиотеки
  •  Электронные медиатеки
  •  OnLine словари
  •  Логические программы
  •  Постоянно действующие сайты конференций, семинаров, школ и т.п.
  •  Сайты организаций
  •  Mathematics and Computer Science Division of Argonne national laboratoty
  •  Институт логики, когнитологии и развития личности
  •  Исследовательская группа "Automation of Logic" Института информатики Макса Планка
  •  Кафедра логики философского факультета МГУ
  •  Центр логики Калифорнийского университета Лос-Анжелеса (UCLA)
  •  Персональные сайты логиков
  •  Разное
    		•
  •  Поиск по литературе в БД формальных теорий
    		•