Основания математики. Теория доказательств пер. с нем.

Основания математики. Теория доказательств, пер. с нем.

Bibliographic Details
Main Author:	Гилберт Д. Давид
Other Authors:	Бернайс П. Пауль
Language:	Russian
Published:	Москва, Наука, 1982
Series:	Математическая логика и основания математики
Subjects:	основания математики математическая логика математика доказательства теория теоремы
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=125896

Similar Items

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

Краткая история математики
by: Павлов Е. А.
Published: (Санкт-Петербург, Лань, 2022)

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

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

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

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

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

Дискретная математика учебное пособие
by: Асеев Г. Г. Георгий Георгиевич
Published: (Ростов-на-Дону, Феникс, 2003)

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

Вып. 29 : Математика, механика
Published: (1982)

Теория характеристических функций пер. с англ.
by: Рамачандран Б.
Published: (Москва, Наука, 1975)

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

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

Очерки по истории математики пер. с фр.
by: Бурбаки Н.
Published: (Москва, Изд-во иностранной лит-ры, 1963)

Дискретная математика. Теория однородных структур учебник для вузов
by: Кудрявцев В. Б. Валерий Борисович
Published: (Москва, Юрайт, 2022)

Дискретная математика. Теория однородных структур учебник для вузов
by: Кудрявцев В. Б. Валерий Борисович
Published: (Москва, Юрайт, 2025)

Дискретная математика. Теория однородных структур учебник для вузов
by: Кудрявцев В. Б. Валерий Борисович
Published: (Москва, Юрайт, 2021)

Дискретная математика. Теория однородных структур учебник для вузов
by: Кудрявцев В. Б. Валерий Борисович
Published: (Москва, Юрайт, 2024)

Дискретная математика. Теория однородных структур учебник для вузов
by: Кудрявцев В. Б. Валерий Борисович
Published: (Москва, Юрайт, 2023)

Основания математической логики пер. с англ.
by: Карри Х. Хаскелл
Published: (Москва, Мир, 1969)

Теория поиска вывода. Происхождение и философские приложения монография
by: Брюшинкин В. Н.
Published: (Калининград, БФУ им. И.Канта, 2012)

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

Вводный курс математики учебное пособие
by: Тимофеева И. Л. Ирина Леонидовна
Published: (Москва, Академия, 2011)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
by: Пак В. Г. Вадим Геннадьевич
Published: (Москва, Юрайт, 2022)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
by: Пак В. Г. Вадим Геннадьевич
Published: (Москва, Юрайт, 2023)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
by: Пак В. Г. Вадим Геннадьевич
Published: (Москва, Юрайт, 2025)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
by: Пак В. Г. Вадим Геннадьевич
Published: (Москва, Юрайт, 2024)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
by: Пак В. Г. Вадим Геннадьевич
Published: (Москва, Юрайт, 2025)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
by: Пак В. Г. Вадим Геннадьевич
Published: (Москва, Юрайт, 2021)

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

Конечные простые группы Введение в их классификацию
by: Горенстейн Д. Даниэль
Published: (Москва, Мир, 1985)

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

Философские основания математики и 11-я аксиома Эвклида (Евклида)
by: Шмидт Е. Евгений
Published: (Москва, Типография М. Г. Волчанинова, 1891)

Математическая логика учебник и практикум для вузов
by: Скорубский В. И. Владимир Иванович
Published: (Москва, Юрайт, 2024)

Математическая логика учебник и практикум для вузов
by: Скорубский В. И. Владимир Иванович
Published: (Москва, Юрайт, 2025)

Математическая логика учебник и практикум для вузов
by: Скорубский В. И. Владимир Иванович
Published: (Москва, Юрайт, 2023)

Математическая логика учебник и практикум для вузов
by: Скорубский В. И. Владимир Иванович
Published: (Москва, Юрайт, 2021)

Математическая логика учебник и практикум для вузов
by: Скорубский В. И. Владимир Иванович
Published: (Москва, Юрайт, 2022)

Дискретная математика учебник и практикум для вузов
by: Судоплатов С. В. Сергей Владимирович
Published: (Москва, Юрайт, 2025)

Дискретная математика учебник и практикум для вузов
by: Судоплатов С. В. Сергей Владимирович
Published: (Москва, Юрайт, 2021)