Основания математики. Логические исчисления и формализация арифметики: научное издание/

Основания математики. Логические исчисления и формализация арифметики: научное издание/

Библиографическая информация
Главные авторы:	Гильберт, Д. Давид (Автор), Бернаис, П. Пауль (Автор)
Другие авторы:	Адян, С. И. (Редактор)
Формат:	Книга
Язык:	Russian
Публикация:	М.: Наука 1982
Редактирование:	2-е изд.
Серии:	Математическая логика и основания математики
Предметы:	МАТЕМАТИЧЕСКАЯ ЛОГИКА ФУНДАМЕНТАЛЬНАЯ МАТЕМАТИКА
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

Похожие документы

Основания математики. Теория доказательств: научное издание/
по: Гильберт, Д. Давид, et al.
Публикация: (1982)

Основания математики Логические исчисления и формализация арифметики
по: Гильберт, Давид 1862-1943
Публикация: (1982)

Логические задачи: научное издание/
по: Байиф, Ж. К. Жан-Клод
Публикация: (1983)

Алгебраические и логические конструкции Сборник научных трудов
Публикация: (1994)

Метод математики логика и гносеология математических знаний
по: Менделеев, Иван Дмитриевич 1883-1936
Публикация: (1913)

Основания математической логики/
по: Карри, Х. Б. Хаскелл Б.
Публикация: (1969)

О математической логике и философии математики. Начальные сведения об основаниях математике: научное издание/
по: Ивс, Г.И, et al.
Публикация: (1968)

Сущность математики
по: Фосс, Аурель Эдмунд 1845-1931
Публикация: (2023)

Логические исследования [сборник статей
Публикация: (2004)

Философские проблемы математики
по: Жуков, Николай Иванович
Публикация: (1977)

Логические основы метода моделирования
по: Уемов, Авенир Иванович 1928-2012
Публикация: (1971)

Логические исследования
Публикация: (1999)

Логические и математические исчисления учебное пособие
по: Шиханович, Юрий Александрович
Публикация: (2011)

Фундаментальная и прикладная математика [журнал]
Публикация: (1995)

Основы теоретической логики
по: Гильберт, Давид 1862-1943
Публикация: (1947)

Основы дискретной математики: Учебное пособие для вузов/
по: Осипова, В. А. Виктория Аркадьевна
Публикация: (2006)

Основы теоретической логики
по: Гильберт, Давид 1862-1943
Публикация: (2000)

Конструктивная теория доказательств и нестандартный анализ: научное издание/
по: Драгалин Альберт Григорьевич
Публикация: (2003)

Основания математики теория доказательств
по: Гильберт, Давид 1862-1943
Публикация: (1982)

Фундаментальные проблемы математики и механики. Математика: Сб. ст.
Публикация: (1994)

Математический аппарат инженера: научное издание/
по: Сигорский, В. П. Виталий Петрович
Публикация: (1977)

Универсальная алгебра, алгебраическая логика и базы данных: научное издание/
по: Плоткин, Б. И. Борис Исаакович
Публикация: (1991)

Основные понятия математики учебное пособие : [для студентов вузов, обучающихся по специальности 050708 "Педагогика и методика начального образования"]
по: Уртенов, Махамет Али Хусеевич
Публикация: (2009)

Исследования по конструктивной математике и математической логике Сборник
Публикация: (1995)

Математическая логика: Пер. с англ./
по: Клини, С. К. Стефан Коул
Публикация: (1973)

Математические структуры и моделирование научный журнал
Публикация: (2005)

Очерки по истории математики Учебное пособие для вузов
Публикация: (1997)

Физико-теоретическое моделирование: основания, развитие, рациональность
по: Ратников, Владимир Сазонович
Публикация: (1995)

Как же называется эта книга?: пер. с англ./
по: Смаллиан, Р. М. Рэймонд
Публикация: (1981)

Определение и доказательство в курсе высшей математики для слушателей факультетов повышения квалификации и преподавателей математики вузов
по: Куваев, Михаил Романович 1923-2001
Публикация: (1978)

Схемы для целочисленной арифметики и арифметики конечных полей автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09
по: Бурцев, Алексей Анатольевич
Публикация: (2007)

Логические исследования
Публикация: (2003)

Логические задачи
по: Раскина, Инесса Владимировна
Публикация: (2020)

Математическая логика и теория множеств (О соотношении абстрактного и конкретного)
по: Харин, Николай Никитич
Публикация: (1963)

Логические исследования
Публикация: (2002)

Методологические проблемы интуиционистской математики
по: Панов, Михаил Иванович 1947-
Публикация: (1984)

Логические уравнения: научное издание/
по: Закревский, А.Д. Аркадий Дмитриевич
Публикация: (1975)

Философские работы
по: Витгенштейн, Людвиг 1889-1951
Публикация: (1994)

Основы дискретной математики: учебное пособие для вузов/
по: Горбатов, В. А. Вячеслав Афанасьевич
Публикация: (1986)

Логические исследования
Публикация: (2001)