|
| А | | 85226 | Замов, Наиль
Посик вывода в исчеслении предикатов и возможности ограничения сложности теромв в выводах [Текст] : Автореф... канд. физ.-мат.наук: 01.01.06 / Замов Наиль Калимович; АН СССР. Мат. ин-т им. В.А.Стеклова (Ленингр. отд-ни). — Казань, 1973. — 16л. | |
| | |
|
