Конструктивная теория доказательств и нестандартный анализ: научное издание/

Конструктивная теория доказательств и нестандартный анализ: научное издание/

Библиографическая информация
Главный автор:	Драгалин Альберт Григорьевич (Автор)
Другие авторы:	Минц, Г. Е. (Редактор)
Формат:	Книга
Публикация:	М.: Едиториал УРСС 2003
Предметы:	доказательства нестандартный анализ конструктивная математика интуиционизм математическая логика логика
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

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

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

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

О поле нестандартных вещественных чисел
по: Пестов, Герман Гаврилович 1932-2015

Справочная книга по математической логике В 4-х ч. Пер. с англ.
Публикация: (1983)

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

Что такое нестандартный анализ
по: Успенский, Владимир Андреевич 1930-2018
Публикация: (1987)

Конструктивные модели
по: Гончаров, Сергей Савостьянович
Публикация: (1999)

Воображаемая логика Избранные труды
по: Васильев, Николай Александрович
Публикация: (1989)

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

Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы
по: Ламберов, Лев Дмитриевич

Проблемы конструктивного направления в математике сборник работ
Публикация: (1967)

Философия математики. Основные программы обоснования математики ХХ столетия [учебное пособие для студентов вузов по направлению 540400 (050400) "Социально-экономическое образование"
по: Светлов, Виктор Александрович 1945-
Публикация: (2010)

Проблема гиперконнексивности в чистых теориях коннексивной импликации
по: Беликов, Александр Александрович

Философия математики Учебное пособие: Мультимедиа курс
по: Сухотин, Анатолий Константинович 1922-2012
Публикация: (2003)

Табличные методы в логике [специалистам в области логики и философии, а также студентам и аспирантам философских факультетов]
по: Антонова, Ольга Аркадьевна
Публикация: (2003)

Теория моделей в Казахстане сборник научных работ, посвященный памяти А. Д. Тайманова
Публикация: (2006)

Доказательства и опровержения Как доказываются теоремы
по: Лакатос, Имре 1922-1974
Публикация: (1967)

Логика в 2 т.]
по: Гокиели, Леван Петрович
Публикация: (1965)

Парадоксы теории множеств и диалектика/
по: Бурова, И. Н.
Публикация: (1976)

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

Нестандартные методы анализа: Монография/
по: Кусраев, А. Г. Анатолий Георгиевич, et al.
Публикация: (1990)

Конструктивная математика
по: Акимов, Олег Евгеньевич
Публикация: (2005)

Математическая логика: Учебное пособие для вузов/
по: Колмогоров Андрей Николаевич, et al.
Публикация: (2004)

Критический очерк гносеологии интуиционизма
по: Суханов, Ким Николаевич
Публикация: (1973)

Теория алгорифмов
по: Марков, Андрей Андреевич младший 1903-1979
Публикация: (1984)

Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 032100 "Математика"]
по: Тимофеева, Ирина Леонидовна
Публикация: (2007)

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

Нестандартная модель поля действительных чисел
по: Кононенко, А. А.

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

Математическая логика учебное пособие для вузов
по: Колмогоров, Андрей Николаевич, et al.
Публикация: (2004)

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

Реализация обратного метода для модальной логики КТ
по: Бурлуцкий, Владимир Владимирович

Философия математики Учебное пособие для студентов по направлению и специальности "философия"
по: Сухотин, Анатолий Константинович 1922-2012
Публикация: (2004)

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

Логика для юристов учебное пособие для бакалавров : [по специальности "Юриспруденция"]
по: Гетманова, Александра Денисовна
Публикация: (2015)

Изменчивая природа математического доказательства доказать нельзя поверить
по: Кранц, Стивен
Публикация: (2016)

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

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

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

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