"Юрий Леонидович Ершов (К пятидесятилетию со дня рождения). 01A70." Sibirskij matematiceskij zurnal 31.3 455-457. <http://eudml.org/doc/63266>.
@article{Unknown, journal = {Sibirskij matematiceskij zurnal}, keywords = {Методы доказательства разрешимости и неразрешимости элементарных теорий; теория алгоритмов; теория моделей; теория допустимых множеств}, language = {rus}, number = {3}, pages = {455-457}, publisher = {Izd. AN SSSR}, title = {Юрий Леонидович Ершов (К пятидесятилетию со дня рождения). 01A70}, url = {http://eudml.org/doc/63266}, volume = {31}, }
TY - JOUR TI - Юрий Леонидович Ершов (К пятидесятилетию со дня рождения). 01A70 JO - Sibirskij matematiceskij zurnal PB - Izd. AN SSSR VL - 31 IS - 3 SP - 455 EP - 457 LA - rus KW - Методы доказательства разрешимости и неразрешимости элементарных теорий; теория алгоритмов; теория моделей; теория допустимых множеств UR - http://eudml.org/doc/63266 ER -