N
N. A. Shanin
5 works on record
Works

Constructive real numbers and constructive function spaces
Problemy konstruktivnogo napravlenii︠a︡ v matematike
Problemy konstruktivnogo napravlenii︠a︡ v matematike
1970
O proizvedenii topologicheskikh prostranstv
O proizvedenii topologicheskikh prostranstv
O nekotorykh logicheskikh problemakh arifmetiki
O nekotorykh logicheskikh problemakh arifmetiki
Algorifm mashinnogo poiska estestvennogo logicheskogo vyvoda v ischislenii vyskazyvaniĭ
Algorifm mashinnogo poiska estestvennogo logicheskogo vyvoda v ischislenii vyskazyvaniĭ