Библиотечка

 


  •  О Библиотечке

  •  Читальня (Only OnLine)

  •  Тематические подборки материалов

  •  Некоторые работы, связанные с проектом сравнения формальных теорий

  •  Ресурсы Internet по логике

  •  Журналы и периодические сборники

  •  Электронные библиотеки

  •  Электронные медиатеки

  •  OnLine словари

  •  Логические программы

  •  Постоянно действующие сайты конференций, семинаров, школ и т.п.

  •  Сайты организаций

  •  Mathematics and Computer Science Division of Argonne national laboratoty

  •  Институт логики, когнитологии и развития личности

  •  Исследовательская группа "Automation of Logic" Института информатики Макса Планка

  •  Кафедра логики философского факультета МГУ

  •  Центр логики Калифорнийского университета Лос-Анжелеса (UCLA)

  •  Персональные сайты логиков

  •  Разное

  •  Поиск по литературе в БД формальных теорий