Ershov, I︠U︡. L. (I︠U︡riĭ Leonidovich)
Eršov, Ûrij Leonidovič.
Ershov, I︠U︡riĭ Leonidovich
Ershov, Yuri L.
Ershov, I︠U︡. L
Юрий Леонидович Ершов
Ершов, Ю. Л. (Юрий Леонидович), 1940-
Eršov, Jurij Leonidovič 1940-
Eršov, Jurij Leonidovič
Eršov, Ju. L.
Eršov, Ûrij Leonidovic̆ 1940-....
Eršov, Juri L.
Ершов, Юрий Леонидович 1940-
VIAF ID: 22293162 ( Personal )
Permalink: http://viaf.org/viaf/22293162
Preferred Forms
-
- 100 1 _ ‡a Ershov, I︠U︡. L
- 100 1 _ ‡a Ershov, I︠U︡. L. ‡q (I︠U︡riĭ Leonidovich)
-
-
- 100 1 _ ‡a Ershov, I︠U︡riĭ Leonidovich
- 100 1 _ ‡a Ershov, Yuri L.
- 200 _ | ‡a Eršov ‡b Ûrij Leonidovic̆ ‡f 1940-....
-
- 100 1 _ ‡a Eršov, Jurij Leonidovič ‡d 1940-
-
- 100 1 _ ‡a Eršov, Juri L.
-
-
-
- 100 0 _ ‡a Юрий Леонидович Ершов
4xx's: Alternate Name Forms (58)
Works
Title | Sources |
---|---|
Algebra / editors Yurii L. Ershov [et al.]. - Berlin ; New York, 1996. | |
Algoritmy i vychislimostʹ v chelovecheskom poznanii | |
Biograficheskiĭ slovarʹ dei︠a︡teleĭ v oblasti matematiki, 1979: | |
bounded complete hull of an α-space [alpha-space] | |
Definability and computability | |
Degrees of unsolvability | |
Desi︠a︡tai︠a︡ Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ po matematicheskoĭ logike, Alma-Ata, 1-3 noi︠a︡bri︠a︡ 1990 goda : tezisy dokladov | |
Gruppy : izbrannye trudy | |
Handbook of recursive mathematics | |
Int. Conf. on Algebra (1989 : Akademgorodok, Novosibirsk, R.S.F.S.R.). Proc. of the Int. Conf. on Algebra ... 1992: | |
Konstruktivnye modeli | |
Kratno normirovannye polâ | |
Logičeskie metody v informatike | |
Logicheskie metody v programmirovanii : sbornik nauchnykh trudov | |
Matematičeskaâ logika | |
Matematika v prilozhenii︠a︡kh : Vserossiĭskai︠a︡ konferent︠s︡ii︠a︡, priurochennai︠a︡ k 80-letii︠u︡ akademika S.K. Godunova, 20-24 ii︠u︡li︠a︡ 2009 g. : tezisy dokladov | |
Mathematical logic | |
Multi-valued fields | |
Novyĭ vzgli︠a︡d na problemy obrazovanii︠a︡ : materialy Vsesoi︠u︡znoĭ konferent︠s︡ii po razvitii︠u︡ proizvoditelʹnykh sil Sibiri, ianvarʹ, 1990 g. | |
On d-spaces | |
Opredelimost' i vyčislimost' | |
Proceedings of the International conference on algebra dedicated to the memory of A. I. Mal'cev | |
Recursive algebra, analysis and combinatorics | |
Recursive model theory | |
Schetnye bulevy algebry | |
Stepeni nerazrešimosti | |
Stroenie konečnyh algebr | |
Structure of finite algebras | |
Strukturnye i slozhnostnye problemy vychislimosti : sbornik nauchnykh trudov | |
Teoriâ numeracij | |
Teoriâ rekursii | |
Teoriâ vyčislimosti i âzyki specifikacij : sbornik naučnyh trudov | |
Teorii︠a︡ modeleĭ i ee primenenii︠a︡ : sbornik nauchnykh trudov | |
Teorii︠a︡ numerat︠s︡iĭ. Spet︠s︡kurs dli︠a︡ studentov-matematikov NGU | |
Theorie der Numerierungen | |
Voprosy algebry i logiki | |
Vvedenie v logiku i metodologii︠u︡ nauki | |
Логика и семантическое программирование : | |
Логические методы в информатике | |
Математика в приложениях : Всероссийская конференция, приуроченная к 80-летию академика С.К. Годунова, 20-24 июля 2009 г. : тезисы докладов | |
Математическая логика | |
Определимость и вычислимость | |
Проблемы разрешимости и конструктивные модели | |
Счетные булевы алгебры | |
Теория вычислимости и языки спецификаций | |
Теория моделей и ее применения : сборник научных трудов | |
Теория нумераций |