Мавров, Алексей Ив. Мавров, Алексей Ив. математик 18 в. {Венгеров} Большая биографическая энциклопедия