Большая биографическая энциклопедия
Лейман, Петр Ив.
сост. крат. курс математики (СПб., 1843), учит. Морск. кад. корп.
{Венгеров}