Масштабные проекты математической формализации

Математические принципы Обзор «Principia Mathematica» «Principia Mathematica» — фундаментальный труд по математической логике, написанный Б. Расселом и А. Уайтхедом.  Книга […]