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

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

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

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

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

Математический интуиционизм. Введение в теорию доказательств
by: Драгалин А. Г. Альберт Григорьевич
Published: (Москва, Наука, 1979)

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

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

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

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

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

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

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

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

Вып. 29 : Математика, механика; История и методология естественных наук
Published: (1982)

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

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

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

Как же называется эта книга?: пер. с англ.
by: Смаллиан Р. М. Рэймонд М.
Published: (Москва, Мир, 1981)

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

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

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

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

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

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

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

Сюрреальные числа: пер. с англ.
by: Кнут Д. Дональд
Published: (Москва, БИНОМ. Лаборатория знаний, 2014)

Теория судебных доказательств; Избранные труды в 3-х томах
Published: (1991)

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

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

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

Основания теории множеств: пер. с англ.
by: Френкель А. А. Абрахам А.
Published: (Москва, Мир, 1966)

Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления
by: Верещагин Н. К
Published: (Москва, МЦНМО, 2000)

Т - группы
by: Шунков В. П. Владимир Петрович
Published: (Новосибирск, Наука, 2000)

Построение формулировок теорем и способов доказательств. Логические приемы мышления в творческой деятельности
by: Калошина И. П. Инна Павловна
Published: (Саранск, Изд-во Саратовского ГТУ, 1988)

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

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

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

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

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

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

Дискретная математика: учебник для вузов
by: Соболева Т. С. Татьяна Сергеевна
Published: (Москва, Академия, 2006)

О математической логике и философии математики. Начальные сведения об основаниях математики: пер. с англ.
by: Ивс Г.
Published: (Москва, Знание, 1968)