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

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

Bibliographic Details
Main Author:	Драгалин Альберт Григорьевич (Author)
Other Authors:	Минц, Г. Е. (Editor)
Format:	Book
Published:	М.: Едиториал УРСС 2003
Subjects:	доказательства нестандартный анализ конструктивная математика интуиционизм математическая логика логика
Online Access:	Перейти в каталог Библиотеки ТУСУР

Similar Items

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

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

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

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

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

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

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

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

Теория доказательств
by: Такеути, Г.
Published: (1978)

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

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

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

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

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

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

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

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

Логика в 2 т.]
by: Гокиели, Леван Петрович
Published: (1965)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Теория статистических выводов: научное издание/
by: Закс, Ш.
Published: (1975)

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

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