Библиотечка

 


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

  •  Читальня (Only OnLine)

  •  Тематические подборки материалов

  •  Количественные методы в логике

  •  Семиотические исследования формального логико-математического дискурса

  •  Совместная эволюция философии, логики и математики

  •  Аксиоматические построения Спинозы

  •  Разное

  •  Некоторые работы, связанные с проектом сравнения формальных теорий

  •  Ресурсы Internet по логике

  •  Поиск по литературе в БД формальных теорий