Поваров Г.Н. Ампер и кибернетика / Г. Н. Поваров, 2007. - 94 с. - Текст : непосредственный.
Поваров Г.Н. Простой метод записи и проверки формул исчисления предикатов / Г.Н.Поваров, 1990. - 20 c. - Текст : непосредственный.