Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

  • Your search returned 15 results.

    1.
    2.
    Конструктивные модели Сергей С. Гончаров, Юрий Л. Ершов; Ин-т математики СО РАН [и др.]

    by Гончаров, Сергей Савостьянович | Ершов, Юрий Леонидович, 1940-.

    Series: Сибирская школа алгебры и логикиMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск Научная книга 1999Availability: No items available :
    3.
    Теория моделей Г. Кейслер, Ч. Ч. Чэн; Пер. с англ. С. С. Гончарова и др. ; Под ред. Ю. Л. Ершова, А. Д. Тайманова

    by Кейслер, Г. Дж | Чэн, Чень-чунь | Ершов, Юрий Леонидович, 1940- [ред.] | Тайманов, Асан Дабсович, 1917-1990 [ред.].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Мир 1977Other title: Model theory.Availability: No items available :
    4.
    5.
    Математическая логика Учебное пособие для математических специальностей вузов Ю. Л. Ершов, Е. А, Палютин

    by Ершов, Юрий Леонидович, 1940- | Палютин, Евгений Андреевич, 1945-.

    Edition: 2-е изд., испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Наука, Главная редакция физико-математической литературы 1987Availability: No items available :
    6.
    Вычислительные системы Вып. 152 сборник научных трудов Рос. АН, Сиб. отд-ние, Ин-т математики

    by Ершов, Юрий Леонидович, 1940- [edt] | Гончаров, Сергей Савостьянович [ред.].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск [б. и.] 1995Other title: Теория вычислений и языки спецификаций / науч. ред. Ю. Л. Ершов, С. С. Гончаров.Availability: No items available :
    7.
    Математическая логика Учебное пособие для математических специальностей вузов Ю. Л. Ершов, Е. А, Палютин

    by Ершов, Юрий Леонидович, 1940- | Палютин, Евгений Андреевич, 1945-.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Наука. Физматлит 1979Availability: No items available :
    8.
    Вычислительные системы Т. 148 сборник научных трудов Рос. АН, Сиб. отд-ние, ин-т математики

    by Гончаров, Сергей Савостьянович [науч. ред.] | Ершов, Юрий Леонидович, 1940- [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Новосибирск [б. и.] 1993Other title: Логические методы в информатике / науч. ред. Ю. Л. Ершов, С. С. Гончаров.Availability: No items available :
    9.
    Математическая логика Дж. Шенфилд; Пер. с англ. И. А. Лаврова, И. А. Мальцева; Под ред. Ю. Л. Ершова

    by Шенфилд, Джозеф Р | Ершов, Юрий Леонидович, 1940- [ред.].

    Series: Математическая логика и основания математикиMaterial type: Text Text; Format: print Language: Russian Original language: English Publication details: М. Наука, Главная редакция физико-математической литературы 1975Availability: No items available :
    10.
    Введение в логику и методологию науки С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов

    by Гончаров, Сергей Савостьянович | Ершов, Юрий Леонидович, 1940- [авт.] | Самохвалов, Климентий Федорович [авт.].

    Series: Программа "Обновление гуманитарного образования в России"Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Интерпракс; Новосибирск: Рос. АН, Сиб. отд-ние, Ин-т математики 1994Availability: No items available :
    11.
    Математическая логика учебное пособие Ю. Л. Ершов, Е. А. Палютин

    by Ершов, Юрий Леонидович, 1940- | Палютин, Евгений Андреевич, 1945-.

    Series: Учебники для вузовEdition: Изд. 3-е, стереотип.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: СПб. [и др.] Лань 2004Availability: No items available :
    12.
    Группы Избранные труды М. И. Каргаполов; Отв. ред. Ю. Л. Ершов; АН СССР, Сиб. отд-ние, Ин-т математики

    by Каргаполов, Михаил Иванович | Ершов, Юрий Леонидович, 1940- [edt].

    Material type: Text Text; Format: print ; Audience: Specialized; Publication details: Новосибирск Наука Сибирское отделение 1991Availability: No items available :
    13.
    Определимость и вычислимость

    by Ершов, Юрий Леонидович, 1940-.

    Series: Сибирская школа алгебры и логикиMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск Научная книга 1996Availability: No items available :
    14.
    15.
    Справочная книга по математической логике Электронный ресурс Ч. 3 в 4 ч. под ред. Дж. Барвайса

    by Барвайс, Дж [edt] | Ершов, Юрий Леонидович, 1940- [edt].

    Material type: Computer file Computer file; Format: electronic available online remote Publication details: [Б. м. б. и. 200-?]Other title: Теория рекурсии / пер. с англ. С. Г. Дворникова, И. А. Лаврова ; под ред. Ю. Л. Ершова.Online access: Click here to access online Availability: No items available :