Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 540 results.

    1.
    No cover image available
    Элементарное введение в символическую логику Ленингр. гос. ун-т им. А. А. Жданова

    by Бродский, Иосиф Нусимович.

    Series: Edition: 2-е изд., пререраб.Material type: Text Text; Format: print Publication details: Л. Издательство Ленинградского университета 1972Availability: No items available :
    Log in to add tags Add to cart
    2.
    No cover image available
    Популярная логика: общедоступный очерк логики предложений Анджей Гжегорчик ; пер. с польск. С. П. Беляева

    by Гжегорчик, Анджей.

    Edition: Изд. 3-е., стереотип.Material type: Text Text; Format: print Language: Russian Original language: Polish Publication details: М. Наука 1979Other title: Logika popularna.Availability: No items available :
    Log in to add tags Add to cart
    3.
    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
    4.
    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
    5.
    No cover image available
    Collected works vol. 3 Kurt Goedel ; edited by Solomon Feferman [a. o.]

    by Goedel, Kurt | Feferman, Solomon [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Oxford [a. o.] Oxford University Press 2001Other title: Unpublished essays and lectures.Availability: No items available :
    Log in to add tags Add to cart
    6.
    No cover image available
    7.
    No cover image available
    Элементы математической логики А. А. Марков ; под ред. А. Г. Драгалина

    by Марков, Андрей Андреевич младший, 1903-1979 | Драгалин, Альберт Григорьевич, 1941-1998 [редактор].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Издательство Московского университета 1984Availability: No items available :
    Log in to add tags Add to cart
    8.
    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
    9.
    Основы теоретической логики Д. Гильберт, В. Аккерман

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Биробиджан Тривиум 2000Other title: Grundzuge er theoretischen logik.Availability: No items available :
    Log in to add tags Add to cart
    10.
    No cover image available
    Что такое математическая логика?

    by Калужнин, Лев Аркадьевич.

    Material type: Text Text; Format: print Publication details: М. Наука 1964Availability: No items available :
    Log in to add tags Add to cart
    11.
    No cover image available
    Элементы математической логики П. С. Новиков

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

    Series: Математическая логика и основания математикиEdition: 2-е изд., испр.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Наука 1973Availability: No items available :
    Log in to add tags Add to cart
    12.
    Логика и компьютер моделирование рассуждений и проверка правильности программ [Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. ; науч. ред. Е. Д. Смирнова ; авт. предисл. И. М. Макаров] ; Акад. наук СССР

    by Алешина, Наталия Альбертовна | Анисов, Александр Михайлович | Быстров, Петр Иванович | Смирнова, Елена Дмитриевна [edt].

    Series: Кибернетика: неограниченные возможности и возможные ограниченияMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва Наука 1990Availability: No items available :
    Log in to add tags Add to cart
    13.
    No cover image available
    Математическая логика и теория множеств (О соотношении абстрактного и конкретного) Н. Н. Харин; Под ред. Я. Л. Харапинского

    by Харин, Николай Никитич | Харапинский, Я. Л [ред.].

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: [М.] Росвузиздат 1963Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    14.
    No cover image available
    Математическая логика Каталог зарубежных книг Библиотеки Академии наук СССР 1950-1971 гг. Библиотека Академии наук СССР; Сост. И. А. Лифшиц, Г. Е. Минц; Отв. ред. Г. Е. Минц

    by Лифшиц, И. А [сост.] | Минц, Г. Е [сост.].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Л. б. и. 1974Availability: No items available :
    Log in to add tags Add to cart
    15.
    16.
    Философско-методологические аспекты релевантной логики

    by Войшвилло, Евгений Казимирович, 1913-2008.

    Material type: Text Text; Format: print Publication details: М. Издательство Московского университета 1988Availability: No items available :
    Log in to add tags Add to cart
    17.
    No cover image available
    Лекции по математической логике Учебное пособие для студентов математических специальностей вузов В. А. Мощенский

    by Мощенский, Владимир Андреевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Минск Издательство БГУ им. В. И. Ленина 1973Availability: No items available :
    Log in to add tags Add to cart
    18.
    No cover image available
    Логические основы метода моделирования

    by Уемов, Авенир Иванович, 1928-2012.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Мысль 1971Availability: No items available :
    Log in to add tags Add to cart
    19.
    No cover image available
    Collected works vol. 1 Kurt Goedel ; edited by Solomon Feferman [a. o.]

    by Goedel, Kurt | Feferman, Solomon [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Oxford [a. o.] Oxford University Press 2001Other title: Publications, 1929-1936.Availability: No items available :
    Log in to add tags Add to cart
    20.
    Logic in computer science edited by Zoran Ognjanovic

    by Ognjanovic, Zoran [edt].

    Series: Zbornik radovaMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Beograd Matematicki institut SANU 2009Availability: No items available :
    Log in to add tags Add to cart
    21.
    No cover image available
    Что такое нестандартный анализ В. А. Успенский

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

    Material type: Text Text; Format: print Publication details: М. Наука 1987Availability: No items available :
    Log in to add tags Add to cart
    22.
    No cover image available
    23.
    No cover image available
    О сложности относительных вычислений автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 Дехтярь Михаил Иосифович

    by Дехтярь, Михаил Иосифович.

    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
    24.
    No cover image available
    Логический словарь-справочник Н. И. Кондаков; Отв. ред. Д. П. Горский; Акад. наук СССР, Ин-т философии

    by Кондаков, Николай Иванович | Горский, Дмитрий Павлович, 1920-1994 [edt].

    Edition: 2-е изд., испр. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1975Availability: No items available :
    Log in to add tags Add to cart
    25.
    No cover image available
    Теория дедуктивных систем и ее применения С. Ю. Маслов

    by Маслов, Сергей Юрьевич.

    Series: КибернетикаMaterial type: Text Text; Format: print Publication details: М. Радио и связь 1986Availability: No items available :
    Log in to add tags Add to cart
    26.
    No cover image available
    27.
    Конечно аксиоматизируемые теории Михаил Г. Перетятькин ; [отв. ред. С. С. Гончаров]

    by Перетятькин, Михаил Георгиевич.

    Series: Сибирская школа алгебры и логикиMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск Научная книга 1997Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    28.
    No cover image available
    Теория моделей Г. Кейслер, Ч. Ч. Чэн; Пер. с англ. С. С. Гончарова и др. ; Под ред. Ю. Л. Ершова, А. Д. Тайманова

    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 :
    Log in to add tags Add to cart
    29.
    Logic in computer science 2 editor: Silvia Ghilezan

    by Ghilezan, Silvia, 1959- [edt].

    Series: Zbornik radovaMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Београд Matematički institut SANU 2015Availability: No items available :
    Log in to add tags Add to cart
    30.
    Русская логика против классической (азбука математической логики) В. И. Лобанов

    by Лобанов, Владимир Иванович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Компания Спутник+ 2002Availability: No items available :
    Log in to add tags Add to cart
    31.
    No cover image available
    Как же называется эта книга? Рэймонд М. Смаллиан; Перевод с англ. Ю. А. Данилова

    by Смаллиан, Рэймонд М.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Мир 1981Other title: What is the name of this book? / Raymond M. Smullyan (Englevood Cliffs, 1978).Availability: No items available :
    Log in to add tags Add to cart
    32.
    No cover image available
    The journal of symbolic logic Vol. 37, N 3 September 1972 edited by Alonzo Church [a. o.] ; managing editor: Alfons Borgers ; consulting editors: Alan Rose Anderson [a. o.]

    by Church, Alonzo [edt] | Borgers, Alfons [edt] | Anderson, Alan Rose [edt] | Association for Symbolic Logic.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Beccles William Clowes & Sons 1972Availability: No items available :
    Log in to add tags Add to cart
    33.
    Решебник по русской логике (азбука математической логики) В. И. Лобанов

    by Лобанов, Владимир Иванович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Компания Спутник+ 2002Availability: No items available :
    Log in to add tags Add to cart
    34.
    No cover image available
    Диалектика и логика. Законы мышления [Б. Кедров, П. Копнин, П. Таванец и др.; под. общ. ред. Б. М. Кедрова] ; Акад. наук СССР, Ин-т философии

    by Кедров, Бонифатий Михайлович, 1903-1985 | Копнин, Павел Васильевич, 1922-1971 | Таванец, Петр Васильевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Издательство Академии наук СССР 1962Availability: No items available :
    Log in to add tags Add to cart
    35.
    Исследования по конструктивной математике и математической логике 9 Сборник Под ред. Е. Я. Данцина, В. П. Оревкова

    by Оревков, В. П [ред.] | Данцин, Е. Я [ред.] | Математический институт им. В. А. Стеклова (Москва) Санкт-Петербургское отделение.

    Series: Записки научных семинаров ПОМИ / Рос. акад. наук, Мат. ин-т им. В. А. Стеклова, Санкт-Петербург. отд-ниеMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Санкт-Петербург Наука 1995Availability: No items available :
    Log in to add tags Add to cart
    36.
    Как математика ум в порядок приводит А. А. Столяр

    by Столяр, Абрам Аронович.

    Edition: 2-е изд., перераб. и доп.Material type: Text Text; Format: print Publication details: Минск Вышэйшая школа 1991Availability: No items available :
    Log in to add tags Add to cart
    37.
    Философские работы Ч. 2, кн. 1 Витгенштейн Л. ; пер. с нем. М. С. Козловой, Ю. А. Асеева ; вступ. ст. М. С. Козловой

    by Витгенштейн, Людвиг, 1889-1951.

    Series: Феноменология. Герменевтика. Философия языкаMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: Russian Original language: German Publication details: Москва Гнозис 1994Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    38.
    No cover image available
    Логика [Т. 1 в 2 т.] Л. П. Гокиели ; Акад. наук Груз. ССР

    by Гокиели, Леван Петрович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Тбилиси Мецниереба 1965Availability: No items available :
    Log in to add tags Add to cart
    39.
    No cover image available
    Как математика ум в порядок приводит А. А. Столяр

    by Столяр, Абрам Аронович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Минск Вышэйшая школа 1982Availability: No items available :
    Log in to add tags Add to cart
    40.
    Введение в логическое программирование Пер. с англ. М. В. Захарьящева; Под ред. Ю. И. Янова

    by Хоггер, Кристофер Джон.

    Material type: Text Text; Format: print Language: Russian Original language: English Publication details: М. Мир 1988Other title: Introduction to logic programming.Availability: No items available :
    Log in to add tags Add to cart
    41.
    No cover image available
    Доказательства и опровержения Как доказываются теоремы И. Лакатос; Пер. с англ. И. Н. Веселовского; АН СССР

    by Лакатос, Имре, 1922-1974.

    Material type: Text Text; Format: print Language: Russian Original language: English Publication details: М. Наука 1967Availability: No items available :
    Log in to add tags Add to cart
    42.
    Единство диалектической и формальной логики Элеат Зенон против и за Эйнштейна И. С. Шеенсон

    by Шеенсон, Игорь Самуилович.

    Series: Relata ReferoMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва ЛИБРОКОМ 2009Availability: No items available :
    Log in to add tags Add to cart
    43.
    No cover image available
    О двумерно упорядоченных полях автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06

    by Фомина, Елена Анатольевна | Томский государственный университет Механико-математический факультет Кафедра математического анализа.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2009Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    44.
    No cover image available
    45.
    No cover image available
    Радикалы колец эндоморфизмов некоторых классов абелевых групп без кручения автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06 Буданов Александр Викторович

    by Буданов, Александр Викторович | Томский государственный университет Механико-математический факультет Кафедра алгебры.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2012Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    46.
    No cover image available
    47.
    No cover image available
    Т-радикалы в категории модулей автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06

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

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2005Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    48.
    No cover image available
    Гомоморфная устойчивость абелевых групп автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06

    by Ельцова, Тамара Александровна | Томский государственный университет Механико-математический факультет Кафедра алгебры.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2009Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    49.
    Определимость и вычислимость

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

    Series: Сибирская школа алгебры и логикиMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск Научная книга 1996Availability: No items available :
    Log in to add tags Add to cart
    50.
    No cover image available
    Эндоморфизмы и близкие им отображения абелевых групп и модулей автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.06

    by Чистяков, Денис Сергеевич.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart