Библиотечка

 


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

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

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

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

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

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

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

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

  •  OnLine словари

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

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

  •  The Conference on Automated Deduction (CADE)

  •  The International Joint Conference on Automated Reasoning (IJCAR)

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

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

  •  Разное

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