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

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

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

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

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

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

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

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

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

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

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

Теория доказательств
по: Такеути, Г.
Публикация: (1978)

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

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

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

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

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

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

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

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

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

Математическая логика и теория алгоритмов: Учебное методическое пособие/
по: Зюзьков, В. М. Валентин Михайлович
Публикация: (2004)

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

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

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

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

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

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

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

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

Теория статистических выводов: научное издание/
по: Закс, Ш.
Публикация: (1975)

Канторовская теория множеств: научное издание/
по: Архангельский, А. В. Александр Владимирович
Публикация: (1988)

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

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

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

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

Основы дискретной математики [учебное пособие для студентов вузов, обучающихся по направлению "Экономика"]
по: Осипова, Виктория Аркадьевна
Публикация: (2006)

Философские основания научной теории: /
Публикация: (1985)

Новое в синергетике. Загадки мира неравновесных структур Сборник
Публикация: (1996)

Философские принципы математики
по: Кутюра, Луи 1868-1914
Публикация: (1913)

Дискретная математика: Методическое пособие по дисциплине "Дискретная математика" для студентов специальностей 071900 "Информационные системы в экономике" и 220400 "Программное обеспечение вычислительной техники и автоматизированных систем"/
по: Сафьянова, Елена Николаевна
Публикация: (1999)

Философские проблемы оснований математики: монография/
по: Рузавин, Г. И.
Публикация: (1983)

Витгенштейн и результат Геделя: логико-философские предпосылки в философии математики
по: Хлебалин, Александр Валерьевич

Как математика ум в порядок приводит
по: Столяр, Абрам Аронович
Публикация: (1982)