Šanin, Nikolaj Aleksandrovič 1919-
Shanin, N. A. (Nikolaĭ Aleksandrovich)
Sanin, N.A.
Шанин, Николай Александрович
Sanin, Nikolaĭ Aleksandrovich
Шанин, Н. А. (Николай Александрович)
Šanin, Nikolaj A. 1919-2011
Šanin, N.A. (Nikolaj Aleksandrovič)
VIAF ID: 13893561 ( Personal )
Permalink: http://viaf.org/viaf/13893561
Preferred Forms
-
- 100 1 _ ‡a Sanin, Nikolaĭ Aleksandrovich
-
-
- 100 1 0 ‡a Shanin, N. A. ‡q (Nikolaĭ Aleksandrovich)
- 100 1 _ ‡a Shanin, N. A. ‡q (Nikolaĭ Aleksandrovich)
-
- 100 1 _ ‡a Šanin, Nikolaj A. ‡d 1919-2011
-
- 100 1 _ ‡a Šanin, Nikolaj Aleksandrovič ‡d 1919-
-
- 100 1 _ ‡a Шанин, Николай Александрович
4xx's: Alternate Name Forms (36)
5xx's: Related Names (1)
- 551 _ _ ‡a Pskow
Works
Title | Sources |
---|---|
Algorifm mašinnogo poiska estestvennogo logičeskogo vyvoda v isčislenii vyskazyvanij | |
Constructive real numbers and constructive function spaces | |
Konstruktivnye veŝestvennye čisla i konstruktivnye funkcional'nye prostranstva | |
O nekotoryh logičeskih problemah arifmetiki | |
Problems in the constructive trend in mathematics. | |
Problemy konstruktivnogo napravleniâ v matematike. | |
O proizvedenii topologičeskih prostranstv | |
Teorija formal'nych sistem / R. Smal'jan. - Moskva, 1981. | |
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний | |
О некоторых логических проблемах арифметики | |
О произведении топологических пространств | |
Проблемы конструктивного направления в математике : сборник работ |