ЗаголовокАвторГод
250 Задач по элементарной теории чиселСерпинский В. 1968
An Essay on the psychology of invention in the mathmatical fieldHadamard J. 1945
Convex Bodies: The Brunn-Minkowski theorySchneider R. 1993
Dictionary of Classical and theoretical mathematicsCavagnaro C., Haight W.T. 2001
Finite MathematicsKemeny J.G., Snell J.L., Thompson G.L. 1974
Mathematical LogicMonk D.J. 1976
Mathematics of quantum computationChen G., Brylinski R.K. 2001
Mathematics of the Rubik's cubeJoyner W.D. 1996
Monte Carlo. Concepts, Algorithms, and applicationsFishman G.S. 1995
Studies in Logic and Foundations of MathematicsBrouwer L.E., Beth E.W., Hetting A. 1971
Studies in Logic and foundations of mathematics - Complete TheoriesRobinson A. 1956
Алгоритмы и рекурсивные функцииМальцев А.И. 1986
Алгоритмы и структуры данныхВирт Н. 1989
Апология математикаХарди Г.Г. 2000
Введение в логику и методологию дедуктивных наукТарский А. 1948
Введение в математическую логикуЧёрч А. 1960
Введение в математическую логикуМендельсон Э. 1971
Великие математики прошлого и их великие теоремыТихомиров В.М. 1999
Взгляд на математику и нечто из неёАносов Д.В. 2000
Есть идея!Гарднер М. 1982
Задачи вступительных экзаменов по математикеПотапов М.К., Нестеренко Ю.В., Олехник С.Н. 2000
Задачи по теории множеств, математической логике и теории алгоритмовЛавров И.А., Максимова Л.Л. 1995
Занимательная математикаГамов Г., Стерн М. 2001
Качественная теория динамических систем второго порядкаАндронов А.А., Леонтович Е.А., Гордон И.И., Майер А.Г. 2000
Конечно аксиоматизируемые теорииПеретятькин М.Г. 1997
Конструктивная математическая логика с точки зрения классической. Математическая логика и основания математикиНовиков П.С. 1977
Курс лекций по методам оптимизацииЛутманов С.В. 2001
Ламбда-исчисление, его синтаксис и семантикаБарендрегт Х. 1985
Лекции по математической логике и теории алгоритмов. Вычислимые функцииВерещагин Н.К., Шень А. 1999
Лекции по математической логике и теории алгоритмов. Начала теории множеств.Верещагин Н.К., Шень А. 1999
Лекции по математической логике и теории алгоритмов. Языки и исчисления.Верещагин Н.К., Шень А. 2000
Логика естественных рассужденийКулик Б.А. 2001
Математика и правдоподобные рассужденияПойа Д. 2000
Математика. Поиск истиныКлайн М. 1988
Математика. Утрата определённостиКлайн М. 1984
Математическая логикаЕршов Ю.Л., Палютин Е.А. 1987
Математическая логика - дополнительные главыКолмогоров А.Н., Драгалин А.Г. 1984
Математическая логика и её примененияНагел Э., Саппс П., Тарский А. 1965
Математическая Логика и основания математикиШенфилд Д. 1975
Математическая логика и основания математики - Математическая теория логического выводаИдельсон А.В., Минц Г.Е. 1967
Математическая логика и основания математики - теория доказательствГильберт Д., Бернайс П. 1982
Математическое открытиеПойа Д. 2000
Метод Харди-ЛиттлвудаВон Р. 1985
Методологический анализ оснований математкиКитчер Ф., Перминов В.Я., Федоров Б.И. и др. 1988
Неравенства в задачахСивашинский И.Х. 2000
Основания математической логикиХ. Карри 1969
Основные математические формулыВоднев В.Т., Наумович А.Ф., Наумович Н.Ф. 1988
Основы теоретической логикиГильберт Д., Аккерман В. 1947
Основы теоретической логикиГильберт Д., Аккерман В. 1947
Основы теории чиселВиноградов И.М. 2000
Пособие по математике для поступающих в вузы (избранные вопросы элементарной математики)Дорофеев Г.В., Потапов М.К., Розов Н.Х. 2000
Построение и анализ вычислительных алгоритмовАхо А., Хопкрофт Д., Ульман Д. 1979
Приключения математикаУлам С. 2001
Проблемы ГильбертаАлександров П.С. 2000
Проблемы Гильберта (100 лет спустя)Болибрух А.А. 1999
Сборник задач московских математический олимпиадБолтянский В.Г., Леман А.А. 2000
Справочная книга по математической логике - Теория доказательств и конструктивная математикаБарвайс Д. 1983
Справочная книга по математической логике - Теория множествБарвайс Д.
Справочная книга по математической логике - теория моделейБарвайс Д. 1982
Справочная книга по математической логике - Теория рекурсииБарвайс Д. 1982
Справочник по математикеКорн Г., Корн Т. 1974
Справочник по математике (для работников и инженеров)Корн Г., Корн Т. 1973
Справочник по элементарной математикеВыгодский Я.Я. 1966
Статистические методы постоения эмпирических формулЛьвовский Е.Н. 1988
Теория доказательствТакеути Г. 1978
Теория формальных системСмальян Р. 1981
Уравнения и неравенства. Нестандартные метожы решения: Справочник.Потапов М.К., Олехник С.Н., Пасиченко П.И. 2000
Что такое математика : элементарный очерк идей и методовКурант Р., Роббинс Г. 2001
Что такое нестандартный анализ?Успенский В.А. 1987
Элементарная математикаСканави М.И. 2000
Элементарная математика в современном изложенииФеликс Л. 2000

Реклама