Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 11 results.

    1.
    No cover image available
    Основы теоретической логики Д. Гильберт, В. Аккерман ; пер. с нем. А. А. Ерофеева ; ред. , вступ. ст. и коммент. С. А. Яновской

    by Гильберт, Давид, 1862-1943 | Аккерман, В.

    Material type: Text Text; Format: print Language: Russian Original language: German Publication details: Москва Издательство иностранной литературы 1947Other title: Grundzuge der theoretischen logik.Availability: No items available :
    Log in to add tags Add to cart
    2.
    No cover image available
    Язык логики Х. Фрейденталь ; пер. с англ. Ю. А. Петрова ; под. ред. Ю. А. Гастева.

    by Фрейденталь, Ханс | Гастев, Юрий Алексеевич, 1928-1993 [edt].

    Material type: Text Text; Format: print Language: Russian Original language: English Publication details: Москва Наука 1969Availability: No items available :
    Log in to add tags Add to cart
    3.
    No cover image available
    Математическая логика Стефан Коул Клини; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца

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

    Material type: Text Text; Format: print Language: Russian Original language: English Publication details: Москва Мир 1973Other title: Mathematical Logic.Availability: No items available :
    Log in to add tags Add to cart
    4.
    No cover image available
    Основания математической логики Хаскелл Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева

    by Карри, Хаскелл Брокс | Гастев, Юрий Алексеевич, 1928-1993 [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Мир 1969Other title: Foundations of mathematical logic.Availability: No items available :
    Log in to add tags Add to cart
    5.
    No cover image available
    Элементы математической логики П. С. Новиков

    by Новиков, Петр Сергеевич.

    Series: Математическая логика и основания математикиMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Физматгиз 1959Availability: No items available :
    Log in to add tags Add to cart
    6.
    No cover image available
    Символическая логика и разумные машины Э. Беркли; пер. с англ. И. В. Соловьева; под ред. и с предисл. Г. Н. Поварова

    by Беркли, Э | Поваров, Геллий Николаевич, 1928-2004 [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Издательство иностранной литературы 1961Other title: Symbolic logic and intelligent machines.Availability: 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 Тарский, Альфред, 1901-1983 | Яновская, Софья Александровна, 1896-1966 [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Издательство иностранной литературы 1948Other title: Introduction to logic and to the methodology of deductive sciences.Availability: No items available :
    Log in to add tags Add to cart
    9.
    No cover image available
    Сочинения Т. 2 в 2 т. : пер. с древнегреч. Секст Эмпирик ; под ред. А. Ф. Лосева

    by Секст Эмпирик, 2 в. до н.э | Лосев, Алексей Федорович, 1893-1988 [edt].

    Series: Философское наследиеMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Мысль 1976Availability: No items available :
    Log in to add tags Add to cart
    10.
    No cover image available
    Математика и логика ретроспектива и перспективы М. Кац, С. Улам ; пер. с англ. Н. И. Плужниковой ; под ред. И. М. Яглома

    by Кац, Марк математик, 1914-1984 | Улам, Станислав, 1909-1984 | Яглом, Исаак Моисеевич, 1921-1988 [edt].

    Series: Современная математика. Популярная серияMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Мир 1971Other title: Matematics and logjc.Availability: No items available :
    Log in to add tags Add to cart
    11.
    No cover image available
    Даниш-намэ книга знаний Ибн Сина ; Акад. наук Тадж. ССР, Тадж. гос. ун-т

    by Ибн Сина, 980-1037.

    Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction ; Audience: Specialized; Publication details: Сталинабад Таджикское государственное издательство 1957Availability: No items available :
    Log in to add tags Add to cart