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

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

Бібліографічні деталі
Автор:	Драгалин А. Г. Альберт Григорьевич
Мова:	Російська
Опубліковано:	Москва, Едиториал УРСС, 2003
Предмети:	Драгалин > А. Г. > математик, логик-конструктивист > Альберт Григорьевич > 1941-1998 математика математическая логика математический интуиционизм философия арифметика алгебраические модели доказательства нестандартный анализ множества аксиоматическая теория антиномия
Формат:	Книга
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=58788

Схожі ресурси

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Природа антиномичности власти: концептуальный аспект
за авторством: Сивопляс А. В.
Опубліковано: (2012)

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

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

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

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

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

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

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

Ч. 2 : Теория множеств
Опубліковано: (1982)

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

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

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

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

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

Обработка нечеткой информации в системах принятия решений
Опубліковано: (Москва, Радио и связь, 1989)

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

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

Исследования по математическому анализу и римановой геометрии
Опубліковано: (Новосибирск, Наука, 1992)

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

Нестандартные методы анализа
за авторством: Кусраев А. Г. Анатолий Георгиевич
Опубліковано: (Новосибирск, Наука, 1990)

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

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

Доказывание в уголовном процессе: оценка отдельных видов доказательств учебник для вузов
за авторством: Барыгина А. А. Александра Анатольевна
Опубліковано: (Москва, Юрайт, 2025)

Доказывание в уголовном процессе: оценка отдельных видов доказательств учебное пособие для вузов
за авторством: Барыгина А. А. Александра Анатольевна
Опубліковано: (Москва, Юрайт, 2021)