Библиотечка

 
  •  О Библиотечке
  •  Читальня (Only OnLine)
    		•
  •  Тематические подборки материалов
  •  Количественные методы в логике
    • О количественных оценках языков и аксиоматик обобщенных теорий
  •  О логических мотивировках для изучения арифметики бесконечных кардиналов (тезисы конференции в Киеве, 2008)
  •  О количественных оценках языков и аксиоматик обобщенных теорий (тезисы конференции в СПб, 2008)
  •  Семиотические исследования формального логико-математического дискурса
  •  Совместная эволюция философии, логики и математики
  •  Аксиоматические построения Спинозы
  •  Разное
    		•
  •  Некоторые работы, связанные с проектом сравнения формальных теорий
    		•
  •  Ресурсы Internet по логике
    		•
  •  Поиск по литературе в БД формальных теорий
    		•