Библиотечка

 
  •  О Библиотечке
  •  Читальня (Only OnLine)
    		•
  •  Тематические подборки материалов
  •  Количественные методы в логике
  •  Семиотические исследования формального логико-математического дискурса
  •  Совместная эволюция философии, логики и математики
  •  Аксиоматические построения Спинозы
  •  О формализациях аксиоматических построений Спинозы
  •  Формализация фрагмента первой части "Этики" Спинозы (Алекс Блюм, Стенли Малинович / пер. с англ. Т.А. Шияна, редакция 2005) (PDF) || Архив ZIP
  •  Сокращенный вариант статьи "Формализация фрагмента первой части "Этики" Спинозы" в HTML c латинскими цитатами
  •  Разное
    		•
  •  Некоторые работы, связанные с проектом сравнения формальных теорий
    		•
  •  Ресурсы Internet по логике
    		•
  •  Поиск по литературе в БД формальных теорий
    		•