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

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

Bibliografiska uppgifter
Huvudupphovsman:	Гилберт Д. Давид
Övriga upphovsmän:	Бернайс П. Пауль
Språk:	ryska
Publicerad:	Москва, Наука, 1982
Serie:	Математическая логика и основания математики
Ämnen:	основания математики математическая логика математика доказательства теория теоремы
Materialtyp:	Bok
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=125896

Liknande verk

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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