Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 49 results.

    1.
    No cover image available
    2.
    Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца

    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
    3.
    Математическая логика С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца

    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
    4.
    No cover image available
    Математика в СССР за тридцать лет. 1917-1947 Сборник статей Под ред. А. Г. Куроша и др.

    by Курош, Александр Геннадиевич, 1908-1971 [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва [и др.] ОГИЗ 1948Availability: No items available :
    Log in to add tags Add to cart
    5.
    Путь математика и другие миры А. Н. Паршин

    by Паршин, Алексей Николаевич, 1942-.

    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
    6.
    Очерки по истории математики Н. Бурбаки ; пер. с фр. И. Г. Башмаковой ; под ред. и с предисл. К. А. Рыбникова

    by Бурбаки, Никола | Рыбников, Константин Алексеевич [edt] | Башмакова, Изабелла Григорьевна [trl].

    Edition: Изд. 3-е, стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва КомКнига 2007Other title: Elements d,histoire des mathematiques.Availability: No items available :
    Log in to add tags Add to cart
    7.
    No cover image available
    Очерки по истории математики Н. Бурбаки; Пер. с фр. И. Г. Башмаковой; Под ред. К. А. Рыбникова

    by Бурбаки, Никола | Рыбников, Константин Алексеевич [ред.].

    Series: Элементы математикиMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: French Publication details: М. Издательство иностранной литературы 1963Other title: Elements d'histoire des mathematiques.Availability: No items available :
    Log in to add tags Add to cart
    8.
    No cover image available
    9.
    Математика и информатика для гуманитариев учебник : [для вузов, обучающихся по гуманитарным специальностям] С. Ю. Жолков

    by Жолков, Сергей Юрьевич.

    Edition: Изд. 2-е, испр. и доп.Material type: Text Text; Format: print Language: Russian Publication details: М. Альфа-М [и др.] 2005Availability: No items available :
    Log in to add tags Add to cart
    10.
    Высшая математика для гуманитарных направлений учебник для бакалавров : [для студентов вузов по гуманитарно-социальным специальностям] А. В. Дорофеева

    by Дорофеева, Алла Владимировна.

    Series: БакалаврEdition: 3-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Юрайт 2012Availability: No items available :
    Log in to add tags Add to cart
    11.
    No cover image available
    Сибирский математический журнал Рос. АН, Сиб. отд-ние, Ин-т математики СО РАН им. С. Л. Соболева

    by Российская академия наук Сибирское отделение.

    Material type: Continuing resource Continuing resource; Format: print available online remote; Type of continuing resource: periodical Publication details: Новосибирск Изд-во Института математики 1960-2013; Москва Наука 1960-1991Online access: Доступ к электронной версии журнала в сети ТГУ через Электронную библиотеку eLIBRARY.RU Availability: No items available :
    Log in to add tags Add to cart
    12.
    No cover image available
    Основания математики теория доказательств Д. Гильберт, П. Бернайс ; пер . с нем. Н. М. Нагорного ; под ред. С. И. Адяна

    by Гильберт, Давид, 1862-1943 | Бернайс, Пауль | Адян, Сергей Иванович, 1931- [edt].

    Series: Математическая логика и основания математикиMaterial type: Text Text; Format: print 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
    13.
    No cover image available
    Математика в СССР за сорок лет, 1917-1957 Т. 1 [сборник] : в 2 т. под ред. А. Г. Куроша (гл. ред. ) [и др.]

    by Курош, Александр Геннадиевич, 1908-1971 [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Физматгиз 1959Other title: Обзорные статьи.Availability: No items available :
    Log in to add tags Add to cart
    14.
    15.
    История математики учебное пособие О. Д. Максимова, Д. М. Смирнов ; М-во образования и науки РФ, Новосибирский гос. ун-т, Механико-мат. фак., Каф. прикладной математики

    by Максимова, Ольга Дмитриевна | Смирнов, Дмитрий Матвеевич, 1919-2005.

    Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction Language: Russian Publication details: Новосибирск [Новосибирский государственный университет] 2016Availability: No items available :
    Log in to add tags Add to cart
    16.
    Математические основания философии Ноосферы монография О. Г. Чуличков

    by Чуличков, Олег Геннадиевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Самара Зуев С. А. 2020Availability: No items available :
    Log in to add tags Add to cart
    17.
    Введение в метаматематику Стефен К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского

    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
    18.
    No cover image available
    Собрание сочинений Т. 2 Н. Н. Лузин; АН СССР; Отв. ред. П. С. Новиков, Л. В. Келдыш

    by Лузин, Николай Николаевич, 1883-1950 | Новиков, Петр Сергеевич [edt] | Келдыш, Л. В [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Издательство Академии наук СССР 1958Other title: Дескриптивная теория множеств.Availability: No items available :
    Log in to add tags Add to cart
    19.
    Математика для гуманитариев Учебное пособие П. В. Грес; Отв. ред. В. И. Котюков

    by Грес, Павел Власович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Юрайт 2000Availability: No items available :
    Log in to add tags Add to cart
    20.
    No cover image available
    Математика. Утрата определенности М. Клайн; Пер. с англ. Ю. А. Данилова; Под ред. И. М. Яглома

    by Клайн, Морис, 1908-1992.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Мир 1984Other title: Mathematics. The loss of certainty.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    21.
    Феноменология диалогов в гештальт-теории, математике и логике С. В. Чесноков

    by Чесноков, Сергей Валерианович, 1943-.

    Edition: Изд. 2-еMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва ЛИБРОКОМ 2013Availability: No items available :
    Log in to add tags Add to cart
    22.
    Высшая математика для гуманитарных направлений учебник для бакалавров : [по гуманитарно-социальным специальностям] А. В. Дорофеева

    by Дорофеева, Алла Владимировна.

    Series: Бакалавр | Министерство образования и науки РФ рекомендуетEdition: 3-е изд., перераб. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Юрайт 2013Availability: No items available :
    Log in to add tags Add to cart
    23.
    24.
    История математики. Эволюция математических идей Кн. 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
    25.
    Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 032100 "Математика"] И. Л. Тимофеева

    by Тимофеева, Ирина Леонидовна.

    Edition: 2-е изд., перераб.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва КДУ 2007Availability: No items available :
    Log in to add tags Add to cart
    26.
    No cover image available
    27.
    No cover image available
    Философско-методологические вопросы математики Основная советская литература (1959-1981 гг. ) Сост. : М. И. Панов, А. Н. Соколов

    by Соколов, Александр Николаевич [com] | Панов, Михаил Иванович, 1947- [com, edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Б.и. 1981Availability: No items available :
    Log in to add tags Add to cart
    28.
    Философия и естествознание [Т. 2] журнал "Erkenntnis" ("Познание") : [избранное] : перевод с немецкого языка

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Канон+ [и др.] 2010Availability: No items available :
    Log in to add tags Add to cart
    29.
    Основания теории множеств А. А. Френкель, И. Бар-Хиллел ; пер. с англ. Ю. А. Гастева ; под ред. и со вступ. ст. А. С. Есенина-Вольпина

    by Френкель, Абрахам Адольф | Бар-Хиллел, Иегошуа | Есенин-Вольпин, Александр Сергеевич [edt].

    Series: Физико-математическое наследиеEdition: Изд. 3-еMaterial type: Text Text; Format: print Language: Russian Publication details: Москва ЛИБРОКОМ 2010Availability: No items available :
    Log in to add tags Add to cart
    30.
    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
    31.
    Математика и информатика Учебное пособие для вузов по гуманитарным направлениям и специальностям В. Я. Турецкий; Уральский гос. ун-т

    by Турецкий, Владимир Яковлевич.

    Series: Высшее образованиеEdition: 3-е изд., перераб. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. ИНФРА-М 2000Availability: No items available :
    Log in to add tags Add to cart
    32.
    Онтология математики: объекты и структуры В. В. Целищев ; отв. ред. Бессонов А. В. ; Ин-т философии и права, Сиб. отдние РАН

    by Целищев, Виталий Валентинович | Бессонов, Александр Владимирович [edt].

    Series: Новая философия математикиMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Новосибирск Нонпарель 2003Availability: No items available :
    Log in to add tags Add to cart
    33.
    Математика Евклида в свете философии Платона и Аристотеля А. В. Родин; Рос. акад. наук, Ин-т философии

    by Родин, Андрей Вячеславович.

    Material type: Text Text; Format: print ; Audience: Specialized; Publication details: М. Наука 2003Availability: No items available :
    Log in to add tags Add to cart
    34.
    No cover image available
    Русская математическая библиография Вып. 1 под ред. Д. М. Синцова

    by Синцов, Дмитрий Матвеевич, 1867-1946 [edt].

    Material type: Text Text; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Одесса тип. Акц. Южно-Рус. о-ва печ. дела 1910Other title: Список сочинений по чистой и прикладной математике, напечатанных в России в 1908 году.Availability: No items available :
    Log in to add tags Add to cart
    35.
    Высшая математика. Гуманитарные специальности [учебное пособие для студентов вузов, обучающихся по гуманитарно-социальным специальностям] А. В. Дорофеева

    by Дорофеева, Алла Владимировна.

    Series: Высшее образованиеEdition: Изд. 2-е, перераб. и доп.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: М. Дрофа 2003Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    36.
    No cover image available
    Л. Витгенштейн и Ф. П. Рамсей о тождестве (2) В. А. Суровцев

    by Суровцев, Валерий Александрович.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    37.
    No cover image available
    Начальныя основания математики Авраама Готгелфа Кестнера великобританскаго надворнаго советника, профессора математики и физики Геттингскаго ученаго общества и разных академий члена Ч. 1 [перевод Пахомова и П. Б. Иноходцева]

    by Кестнер, Абрахам Готхельф, 1719-1800 | Пахомов, Матвей Сергеевич, 1745-1792 [trl] | Иноходцев, Петр Борисович, 1742-1806 [trl].

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: В Санктпетербурге [типография Вильковского] 1792Other title: Содержащая арифметику и алгебру.Availability: No items available :
    Log in to add tags Add to cart
    38.
    No cover image available
    Формальные онтологии и семантика примитивных концепций оснований математики В. В. Целищев

    by Целищев, Виталий Валентинович.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    39.
    40.
    No cover image available
    Устройство философской головоломки по Витгенштейну (кембриджские лекции по основаниям математики) К. А. Родин

    by Родин, Кирилл Александрович.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: The structure of the philosophical puzzle (Wittgenstein’s lectures on the foundations of mathematics).Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    41.
    No cover image available
    Различия в понимании природы математических суждений у И. Канта и Г. Фреге А. С. Хромченко

    by Хромченко, Анна Сергеевна.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: Differences in conceptions of the nature of mathematical propositions in Frege and Kant.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    42.
    Очерки по истории математики Н. Бурбаки ; пер. с фр. И. Г. Башмаковой ; под ред. и с предисл. К. А. Рыбникова

    by Бурбаки, Никола | Рыбников, Константин Алексеевич [edt] | Башмакова, Изабелла Григорьевна [trl].

    Edition: Изд. 2-е, стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва КомКнига 2006Other title: Elements d,histoire des mathematiques.Availability: No items available :
    Log in to add tags Add to cart
    43.
    Краткая история математики Павлов Е. А.

    by Павлов Е. А.

    Edition: 4-е изд., стер.Material type: Text Text; Format: electronic ; Audience: General; Language: Russian Publication details: Санкт-Петербург Лань 2022Online access: Click here to access online | Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    44.
    No cover image available
    Универсальная характеристика Г. В. Лейбница и перспективные разработки в области оснований математики Л. Д. Ламберов, Т. С. Козьякова

    by Ламберов, Лев Дмитриевич | Козьякова, Татьяна Сергеевна.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: The universal characteristic of G. W. Leibniz and the prospective developments in the foundations of mathematics.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    45.
    No cover image available
    Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ Л. Д. Ламберов

    by Ламберов, Лев Дмитриевич.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: The concept of proof in the context of a type-theoretic approach, I: proof of computer program correctness.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    46.
    No cover image available
    Начальныя основания математики Авраама Готгелфа Кестнера великобританскаго надворнаго советника, профессора математики и физики Геттингскаго ученаго общества и разных академий члена Ч. 2 [перевод Пахомова и П. Б. Иноходцева]

    by Кестнер, Абрахам Готхельф, 1719-1800 | Пахомов, Матвей Сергеевич, 1745-1792 [trl] | Иноходцев, Петр Борисович, 1742-1806 [trl].

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: В Санктпетербурге [типография Вильковского] 1794Other title: Содержащая геометрию, тригонометрию плоскую и сферическую, перспективу и сечения конуса.Availability: No items available :
    Log in to add tags Add to cart
    47.
    No cover image available
    Л. Витгенштейн об экстенсиональных функциях Ф. П. Рамсея В. А. Суровцев

    by Суровцев, Валерий Александрович.

    Source: Л. Витгенштейн: pro et contra. Личность и наследие Л. Витгенштейна в оценках русских исследователей : антологияMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    48.
    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
    49.
    No cover image available
    Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем Л. Д. Ламберов

    by Ламберов, Лев Дмитриевич.

    Source: Вестник Томского государственного университета. Философия. Социология. ПолитологияMaterial type: Article Article; Format: electronic available online remote Other title: The concept of proof in the context of a type-theoretic approach, II: proofs of theorems.Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart