Библиотечка

 
  •  О Библиотечке
  •  Читальня (Only OnLine)
    		•
  •  Тематические подборки материалов
    		•
  •  Некоторые работы, связанные с проектом сравнения формальных теорий
    		•
  •  Ресурсы Internet по логике
  •  Журналы и периодические сборники
  •  Bulletin of Symbolic Logic (с архивом)
  •  Logic Journal of the IGPL (+ эл. версия)
  •  Notre Dame Journal of Formal Logic (+ эл. версия)
  •  The Computer Journal (+ эл. версия)
  •  The Journal of Logic and Computation (+ эл. версия)
  •  Вестник опытной физики и элементарной математики (1886-1917)
  •  Журнал "Алгебра и логика"
  •  Научно-популярный физико-математический журнал "Квант"
  •  Электронный журнал Logical Studies (1998-2004)
  •  Электронный философский журнал Vox
  •  Электронные библиотеки
  •  Электронные медиатеки
  •  OnLine словари
  •  Логические программы
  •  Постоянно действующие сайты конференций, семинаров, школ и т.п.
  •  Сайты организаций
  •  Персональные сайты логиков
  •  Разное
    		•
  •  Поиск по литературе в БД формальных теорий
    		•