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

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

Dettagli Bibliografici
Autore principale:	Драгалин А. Г. Альберт Григорьевич
Riassunto:	Доп. тит. лист
Lingua:	russo
Pubblicazione:	Москва, Наука, 1979
Serie:	Математическая логика и основания математики
Soggetti:	математика логика математическая логика арифметика алгебраические модели анализ доказательства теория
Natura:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=69437

Documenti analoghi

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

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

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

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

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

Ч. 4 : Теория доказательств и конструктивная математика; Справочная книга по математической логике
Pubblicazione: (1983)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Математика: учебное пособие
di: Стойлова Л. П. Любовь Петровна
Pubblicazione: (Москва, Академия, 2005)

Алгебра и математическая логика: межведомственный сборник
Pubblicazione: (Киев, Изд-во Киевского ун-та, 1966)

Теория моделей: пер. с англ.
di: Кейслер Г. Дж. Говард Джером
Pubblicazione: (Москва, Мир, 1977)