Математический интуиционизм. Введение в теорию доказательств

Математический интуиционизм. Введение в теорию доказательств

Détails bibliographiques
Auteur principal:	Драгалин А. Г. Альберт Григорьевич
Résumé:	Доп. тит. лист
Langue:	russe
Publié:	Москва, Наука, 1979
Collection:	Математическая логика и основания математики
Sujets:	математика логика математическая логика арифметика алгебраические модели анализ доказательства теория
Format:	Livre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=69437

Documents similaires

Конструктивная теория доказательств и нестандартный анализ
par: Драгалин А. Г. Альберт Григорьевич
Publié: (Москва, Едиториал УРСС, 2003)

Основания математики. Теория доказательств пер. с нем.
par: Гилберт Д. Давид
Publié: (Москва, Наука, 1982)

Теория доказательств пер. с англ.
par: Такеути Г. Гаиси
Publié: (Москва, Мир, 1978)

Ч. 4 : Теория доказательств и конструктивная математика
Publié: (1983)

Алгебра и логика сборник научных трудов
Publié: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Алгебра и логика сборник научных трудов
Publié: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Введение в математическую логику пер. с англ.
par: Мендельсон Э. Эллиот
Publié: (Москва, Наука, 1971)

Математическая логика учебное пособие
par: Ершов Юрий Леонидович
Publié: (Москва, Наука, 1987)

Математическая логика учебное пособие для вузов
par: Ершов Ю. Л. Юрий Леонидович
Publié: (СПб., Лань, 2005)

Математическая логика учебное пособие
par: Ершов Ю. Л. Юрий Леонидович
Publié: (СПб., Лань, 2004)

Математическая логика учебное пособие
par: Ершов Ю. Л. Юрий Леонидович
Publié: (Москва, Наука, 1979)

Математическая логика учебное пособие
par: Ершов Ю. Л. Юрий Леонидович
Publié: (СПб., Лань, 2005)

Элементы математической логики
par: Новиков П. С. Петр Сергеевич
Publié: (Москва, Наука, 1973)

Теория множеств и континуум-гипотеза
par: Коэн П. Д. Пол Дж.
Publié: (Москва, Мир, 1969)

Введение в алгебру и математический анализ учебное пособие для вузов
par: Павлов Е. А.
Publié: (Санкт-Петербург, Лань, 2024)

Элементарная математика для первокурсника учебное пособие
par: Антонов В. И. Валерий Иванович
Publié: (Санкт-Петербург, Лань, 2013)

Математическая логика
par: Гладкий А. В. Алексей Всеволодович
Publié: (Москва, Изд-во Российского ГГУ, 1998)

Основоположения арифметики Логико-математическое исследование о понятии числа пер. с нем.
par: Фреге Ф. Л. Г. Фридрих Людвиг Готлоб
Publié: (Томск, Водолей, 2000)

Исследования по теории доказательств сборник статей пер. с англ.
par: Крайзель Г.
Publié: (Москва, Мир, 1981)

Введение в дискретную математику учебное пособие
par: Кочетков П. А. Павел Анатольевич
Publié: (Москва, Изд-во МГИУ, 2008)

Математическая логика: дополнительные главы учебное пособие
par: Колмогоров А. Н. Андрей Николаевич
Publié: (Москва, Изд-во МГУ, 1984)

Введение в дискретную математику учебное пособие
par: Кочетков П. А. Павел Анатольевич
Publié: (Москва, Изд-во МГИУ, 2007)

Введение в метаматематику пер. с англ.
par: Клини С. К. Стефен К.
Publié: (Москва, Изд-во иностранной литературы, 1957)

Алгебраическая теория квазимногообразий
par: Горбунов В. А.
Publié: (Новосибирск, Научная книга, 1999)

Основания математики. Логические исчисления и формализация арифметики.
par: Гильберт Д. Давид
Publié: (Москва, Наука, 1979)

Основания математики. Логические исчисления и формализация арифметики.
par: Гильберт Д. Давид
Publié: (Москва, Наука, 1982)

Как математика ум в порядок приводит
par: Столяр А. А. Абрам Аронович
Publié: (Минск, Вышэйшая школа, 1982)

Введение в математическую логику учебное пособие
par: Колмогоров А. Н. Андрей Николаевич
Publié: (Москва, Изд-во Московского ун-та, 1982)

Математическая логика учебное пособие для вузов
par: Ершов Ю. Л. Юрий Леонидович
Publié: (Москва, Физматлит, 2011)

Математическая логика пер. с англ.
par: Клини С. К. Стивен Коул
Publié: (Москва, Едиториал УРСС, 2005)

Симметрическая конструктивная логика
par: Заславский И. Д. Игорь Дмитриевич
Publié: (Ереван, Изд-во АН Армянской ССР, 1978)

Математическая логика пер. с англ.
par: Гудстейн Р. Л.
Publié: (Москва, Изд-во иностранной литературы, 1961)

Дискретная математика учебное пособие
par: Бекарева Н. Д.
Publié: (Новосибирск, НГТУ, 2019)

Математическая логика учебное пособие
par: Колмогоров А.Н. Андрей Николаевич
Publié: (Москва, УРСС, 2005)

Прямая и обратная теоремы. Элементы алгебры логики
par: Градштейн И. С. Израиль Соломонович
Publié: (Москва, Наука, 1972)

Алгебра логики в задачах
par: Гиндикин С. Г. Семен Григорьевич
Publié: (Москва, Наука, 1972)

Дискретная математика. Задачи и решения учебное пособие
par: Просветов Г. И. Георгий Иванович
Publié: (Москва, БИНОМ. Лаборатория знаний, 2008)

Математический анализ
par: Карташев А. П.
Publié: (Санкт-Петербург, Лань, 2022)

Вводный курс математической логики
par: Успенский В. А. Владимир Андреевич
Publié: (Москва, Физматлит, 2007)

Логическая тетрадь нерешенные вопросы математической логики (оперативный информационный материал)
Publié: (Новосибирск, Изд-во ИМ СО РАН, 1986)