Библиотечка

 
  •  О Библиотечке
  •  Читальня (Only OnLine)
    		•
  •  Тематические подборки материалов
    		•
  •  Некоторые работы, связанные с проектом сравнения формальных теорий
    		•
  •  Ресурсы Internet по логике
  •  Журналы и периодические сборники
  •  Электронные библиотеки
  •  Архив изданий по математике, физике и т.п. издательства «Mathesis» (1904-1925)
  •  Библиотека портала Math-net.ru
  •  Библиотечка свободно распространяемых изданий от МЦНМО
  •  Интернет-библиотека Московского центра непрерывного математического образования
  •  Цифровая библиотека по философии
  •  Электронная библиотека Math.ru
  •  Электронные медиатеки
  •  OnLine словари
  •  Логические программы
  •  Постоянно действующие сайты конференций, семинаров, школ и т.п.
  •  Сайты организаций
  •  Персональные сайты логиков
  •  Разное
    		•
  •  Поиск по литературе в БД формальных теорий
    		•