Библиотечка

 
  •  О Библиотечке
  •  Читальня (Only OnLine)
    		•
  •  Тематические подборки материалов
    		•
  •  Некоторые работы, связанные с проектом сравнения формальных теорий
    		•
  •  Ресурсы Internet по логике
  •  Журналы и периодические сборники
  •  Электронные библиотеки
  •  Электронные медиатеки
  •  OnLine словари
  •  Логические программы
  •  Постоянно действующие сайты конференций, семинаров, школ и т.п.
  •  The Conference on Automated Deduction (CADE)
  •  The International Joint Conference on Automated Reasoning (IJCAR)
  •  Сайты организаций
  •  Персональные сайты логиков
  •  Разное
    		•
  •  Поиск по литературе в БД формальных теорий
    		•