Библиотечка

 
  •  О Библиотечке
  •  Читальня (Only OnLine)
    		•
  •  Тематические подборки материалов
    		•
  •  Некоторые работы, связанные с проектом сравнения формальных теорий
    		•
  •  Ресурсы Internet по логике
  •  Журналы и периодические сборники
  •  Электронные библиотеки
  •  Электронные медиатеки
  •  OnLine словари
  •  Логические программы
  •  Gateway to Logic - коллекция web-ориентированных программ интерактивного и автоматического доказательства теорем, построения выводов и т.п.
  •  OnLine cистема автоматического построения доказательств в классической логике высказываний (философский факультет МГУ)
  •  Коллекция ссылок на системы автоматического доказательства теорем и т.п.
  •  Коллекция ссылок на системы автоматического доказательства теорем и т.п.
  •  Система автоматического поиска конечных моделей MACE (created at Argonne National Laboratory)
  •  Система автоматического поиска теорем Otter (created at Argonne National Laboratory)
  •  Постоянно действующие сайты конференций, семинаров, школ и т.п.
  •  Сайты организаций
  •  Персональные сайты логиков
  •  Разное
    		•
  •  Поиск по литературе в БД формальных теорий
    		•