Конструктивная теория доказательств и нестандартный анализ

Конструктивная теория доказательств и нестандартный анализ

Detalles Bibliográficos
Autor Principal:	Драгалин А. Г. Альберт Григорьевич
Idioma:	ruso
Publicado:	Москва, Едиториал УРСС, 2003
Subjects:	Драгалин > А. Г. > математик, логик-конструктивист > Альберт Григорьевич > 1941-1998 математика математическая логика математический интуиционизм философия арифметика алгебраические модели доказательства нестандартный анализ множества аксиоматическая теория антиномия
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58788

Títulos similares

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

Математическая логика: пер. с англ.
por: Клини С. К. Стивен Коул
Publicado: (Москва, Едиториал УРСС, 2005)

Элементы математической логики
por: Новиков П. С. Петр Сергеевич
Publicado: (Москва, Наука, 1973)

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

Нестандартный анализ и векторные решетки: Монография
Publicado: (Новосибирск, Изд-во Ин-та математики СО РАН, 1999)

Что такое нестандартный анализ
por: Успенский В. А. Владимир Андреевич
Publicado: (Москва, Наука, 1987)

Топосы. Категорный анализ логики: пер. с англ.
por: Голдблатт Р.
Publicado: (Москва, Мир, 1983)

Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
por: Кипнис М. М. Михаил Маркович
Publicado: (Челябинск, Изд-во ЧПИ, 1985)

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

Основания интуиционистской математики с точки зрения теории рекурсивных функций: пер. с англ.
por: Клини С. К. Стефен Коул
Publicado: (Москва, Наука, 1978)

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

Математическая логика: учебное пособие
por: Ершов Ю. Л. Юрий Леонидович
Publicado: (СПб., Лань, 2004)

Математическая логика: учебное пособие для вузов
por: Ершов Ю. Л. Юрий Леонидович
Publicado: (СПб., Лань, 2005)

Труды по теории множеств
por: Кантор Г. Георг
Publicado: (Москва, Наука, 1985)

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

Начало высшей математики: учебное пособие
por: Сухотин А. М. Александр Михайлович
Publicado: (Томск, Изд-во ТПУ, 2004)

Введение в аксиоматическую теорию выпуклости
por: Солтан В. П. Валерий Петрович
Publicado: (Кишинев, Штиинца, 1984)

Природа антиномичности власти: концептуальный аспект; Коммуникативные аспекты языка и культуры; Ч. 1
por: Сивопляс А. В.
Publicado: (2012)

Технические диапозитивы
por: Селицкий И.
Publicado: (Харьков, Типография и Литография М. Зильберберг и С-вья, 1908)

Математическая логика: учебное пособие
por: Ершов Ю. Л. Юрий Леонидович
Publicado: (СПб., Лань, 2005)

Математическая логика и алгебра: Сборник статей
Publicado: (Москва, Наука, 2003)

Симметрическая конструктивная логика
por: Заславский И. Д. Игорь Дмитриевич
Publicado: (Ереван, Изд-во АН Армянской ССР, 1978)

Начало высшей математики: учебное пособие
por: Сухотин А. М. Александр Михайлович
Publicado: (Томск, Изд-во ТПУ, 2008)

Инфинитезимальный анализ; Ч. 1
por: Гордон Е. И. Евгений Израилевич
Publicado: (Новосибирск, Изд-во Ин-та математики СО РАН, 2001)

Математическая логика: учебное пособие для вузов
por: Ершов Ю. Л. Юрий Леонидович
Publicado: (Москва, Физматлит, 2011)

Методика обучения математике. Часть 1 учебное пособие для вузов
por: Сиротина И. К.
Publicado: (Санкт-Петербург, Лань, 2025)

Начало высшей математики: учебное пособие
por: Сухотин А. М. Александр Михайлович
Publicado: (Томск, Изд-во ТПУ, 2008)

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

Проблема символа в современной философии: (критика и анализ)
por: Свасьян К. А. Карен Аваевич
Publicado: (Ереван, Изд-во Армянской ССР, 1980)

Методологический анализ оснований математики
Publicado: (Москва, Наука, 1988)

Исключение недопустимых доказательств в досудебном производстве
por: Титовец И. В.
Publicado: (Москва, РТУ МИРЭА, 2021)

Основания математики. Теория доказательств: пер. с нем.
por: Гилберт Д. Давид
Publicado: (Москва, Наука, 1982)

Пособие для подготовки к единому государственному экзамену и централизованному тестированию по математике
por: Соболь Б. В. Борис Владимирович
Publicado: (Ростов-на-Дону, Феникс, 2003)

Введение в теорию вероятностей
por: Колмогоров А. Н. Андрей Николаевич
Publicado: (Москва, Наука, 1982)

Ч. 2 : Теория множеств; Справочная книга по математической логике
Publicado: (1982)

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

Сварка судовых конструкций: справ. материалы
por: Бурмистров Е. Г.
Publicado: (Нижний Новгород, ВГУВТ, 2015)

Теория доказательств в уголовном процессе учебное пособие
por: Артамонова Е. А.
Publicado: (Чита, ЗабГУ, 2020)

Формальное и интуитивное в математическом познании
por: Карпунин В. А. Валерий Андреевич
Publicado: (Ленинград, Изд-во ЛГУ, 1983)

Математика: учебное пособие
por: Стойлова Л. П. Любовь Петровна
Publicado: (Москва, Академия, 2005)