Матэнциклопедия Персона

С. И. Соболев

http://libmeta.ru/resource/mathenc/author/a1172

Входящие связи

← автор · 1

Импликативная нормальная форма