Справка

О Библиотечке по логике на Theo.ru
Карта Библиотечки
Обновления
English version

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

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

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

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

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

 

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

 

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

 

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



 

Последние изменения: 22 марта 2012.