Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 10 results.

    1.
    Лекции по математической логике Ч. 1 [учебное пособие для математических направлений и специальностей университетов] В. А. Романович ; Том. гос. ун-т

    by Романович, Владимир Александрович | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Том. гос. ун-т 2005Availability: 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.
    Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца

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

    Edition: Изд. 2-е, стереотип.Material type: Text Text; Format: print Language: Russian Original language: English Publication details: Москва Едиториал УРСС 2005Availability: No items available :
    Log in to add tags Add to cart
    4.
    Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца

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

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

    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
    6.
    Введение в метаматематику Стефен К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского

    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
    7.
    Лекции по математической логике и теории алгоритмов Ч. 2 Н. К. Верещагин, А. Шень

    by Верещагин, Николай Константинович, 1958- | Шень, Александр Ханиевич, 1958-.

    Series: Современные лекционные курсыMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. МЦНМО 2000Other title: Языки и исчисления.Availability: No items available :
    Log in to add tags Add to cart
    8.
    История математики. Эволюция математических идей Кн. 3 [в 3 кн.] С. Я. Серовайский

    by Серовайский, Семен Яковлевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Ленанд 2019Other title: Вычислительная математика. Теория вероятностей. Информатика. Математическая логика.Availability: No items available :
    Log in to add tags Add to cart
    9.
    Математическая логика Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской

    by Гудстейн, Рейбен Луис | Яновская, Софья Александровна, 1896-1966 [edt].

    Series: Физико-математическое наследиеEdition: Изд. 2-еMaterial type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва ЛИБРОКОМ 2010Other title: Mathematical Logic.Availability: No items available :
    Log in to add tags Add to cart
    10.