Справка

Библиотечка по логике

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

К настоящему моменту содержит:

• ряд текстов, презентаций и вспомогательных программных продуктов, связанных с разработкой "Информационной системы по формальным теориям";
• модуль ссылок на логические ресурсы в сети.

Структуру (карту) библиотеки см. здесь...

О последних обновлениях см. здесь...

В перспективе планируется создание библиотеки по логике и смежным областям.