Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 12 results.

    1.
    No cover image available
    Введение в математическую логику Э. Мендельсон; Пер. с англ. Ф. А. Кабакова; Под ред. С. И. Адяна

    by Мендельсон, Эллиот | Адян, С. И [ред.].

    Edition: 3-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Наука. Физматлит 1984Other title: Introduction to mathematical logic.Availability: No items available :
    Log in to add tags Add to cart
    2.
    No cover image available
    Вводный курс математической логики [учебное пособие] В. А. Успенский, Н. К. Верещагин, В. Е. Плиско

    by Успенский, Владимир Андреевич, 1930-2018 | Верещагин, Николай Константинович, 1958- | Плиско, Валерий Егорович.

    Edition: 2-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Физматлит 2007Availability: No items available :
    Log in to add tags Add to cart
    3.
    4.
    Вводный курс математической логики [учебное пособие] В. А. Успенский, Н. К. Верещагин, В. Е. Плиско

    by Успенский, Владимир Андреевич, 1930-2018 | Верещагин, Николай Константинович, 1958- | Плиско, Валерий Егорович.

    Edition: [2-е изд.]Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Физматлит 2004Availability: No items available :
    Log in to add tags Add to cart
    5.
    Введение в метаматематику Стефен К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского

    by Клини, Стивен Коул, 1909-1994.

    Series: Физико-математическое наследиеEdition: Изд. 2-е, испр.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва ЛИБРОКОМ 2009Other title: Introduction to metamathematics.Availability: No items available :
    Log in to add tags Add to cart
    6.
    Математическая логика и теория алгоритмов А. К. Гуц

    by Гуц, Александр Константинович, 1947-.

    Edition: Изд. 2-е, доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва ЛИБРОКОМ 2009Availability: No items available :
    Log in to add tags Add to cart
    7.
    No cover image available
    Введение в математическую логику Э. Мендельсон; пер. с англ. Ф. А. Кабакова; под ред. С. И. Адяна

    by Мендельсон, Эллиот | Адян, Сергей Иванович, 1931- [edt].

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Наука, Физматлит 1971Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    8.
    No cover image available
    Теорема Геделя о неполноте В. А. Успенский

    by Успенский, Владимир Андреевич, 1930-2018.

    Series: Популярные лекции по математикеMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1982Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    9.
    No cover image available
    10.
    Теория моделей в Казахстане сборник научных работ, посвященный памяти А. Д. Тайманова под ред. М. М. Еримбетова

    by Еримбетов, Мырзахан Мырзахметович [edt].

    Material type: Text Text; Format: print ; Nature of contents: festschrift biography; Literary form: Not fiction ; Audience: Specialized; Publication details: Алматы Eco Study 2006Availability: No items available :
    Log in to add tags Add to cart
    11.
    Математическая логика и теория алгоритмов [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"] А. К. Гуц

    by Гуц, Александр Константинович, 1947-.

    Edition: Изд. 3-е, испр.Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction Publication details: Москва Ленанд 2016Availability: No items available :
    Log in to add tags Add to cart
    12.
    Введение в кибернетику В. М. Глушков

    by Глушков, Виктор Михайлович, 1923-1982.

    Series: Из наследия академика В. М. Глушкова | Науки об искусственномEdition: Изд. 2-еMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Ленанд 2022Availability: No items available :
    Log in to add tags Add to cart