Основания математики. Теория доказательств: пер. с нем.

Основания математики. Теория доказательств: пер. с нем.

Bibliographische Detailangaben
1. Verfasser:	Гилберт Д. Давид
Weitere Verfasser:	Бернайс П. Пауль
Sprache:	Russisch
Veröffentlicht:	Москва, Наука, 1982
Schriftenreihe:	Математическая логика и основания математики
Schlagworte:	основания математики математическая логика математика доказательства теория теоремы
Format:	Buch
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=125896

Ähnliche Einträge

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

Исследования по теории доказательств: сборник статей; пер. с англ.
von: Крайзель Г.
Veröffentlicht: (Москва, Мир, 1981)

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

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

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

Конструктивная теория доказательств и нестандартный анализ
von: Драгалин А. Г. Альберт Григорьевич
Veröffentlicht: (Москва, Едиториал УРСС, 2003)

Математическая логика: учебное пособие
von: Ершов Юрий Леонидович
Veröffentlicht: (Москва, Наука, 1987)

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

Прямая и обратная теоремы. Элементы алгебры логики
von: Градштейн И. С. Израиль Соломонович
Veröffentlicht: (Москва, Наука, 1972)

Теория характеристических функций: пер. с англ.
von: Рамачандран Б.
Veröffentlicht: (Москва, Наука, 1975)

Дискретная математика: учебное пособие
von: Асеев Г. Г. Георгий Георгиевич
Veröffentlicht: (Ростов-на-Дону, Феникс, 2003)

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

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

Очерки по истории математики: пер. с фр.
von: Бурбаки Н.
Veröffentlicht: (Москва, Изд-во иностранной лит-ры, 1963)

Вып. 29 : Математика, механика; История и методология естественных наук
Veröffentlicht: (1982)

Основания математической логики: пер. с англ.
von: Карри Х. Хаскелл
Veröffentlicht: (Москва, Мир, 1969)

Основания теории множеств: пер. с англ.
von: Френкель А. А. Абрахам А.
Veröffentlicht: (Москва, Мир, 1966)

Основания математики. Логические исчисления и формализация арифметики.
von: Гильберт Д. Давид
Veröffentlicht: (Москва, Наука, 1982)

Основания математики. Логические исчисления и формализация арифметики.
von: Гильберт Д. Давид
Veröffentlicht: (Москва, Наука, 1979)

Теория вероятностей и ее применения: научный журнал
Veröffentlicht: (Москва, Наука, 1957-)

Философские основания математики и 11-я аксиома Эвклида (Евклида)
von: Шмидт Е. Евгений
Veröffentlicht: (Москва, Типография М. Г. Волчанинова, 1891)

Как же называется эта книга?: пер. с англ.
von: Смаллиан Р. М. Рэймонд М.
Veröffentlicht: (Москва, Мир, 1981)

Исследования по некласическим логикам и теории множеств
Veröffentlicht: (Москва, Наука, 1979)

Трудности доказательств: Как преодолеть страх перед математикой; пер. с англ.
von: Купиллари А. Антонелла
Veröffentlicht: (Москва, Техносфера, 2002)

Математическая логика: учебное пособие
von: Колмогоров А.Н. Андрей Николаевич
Veröffentlicht: (Москва, УРСС, 2005)

Конечные простые группы: Введение в их классификацию
von: Горенстейн Д. Даниэль
Veröffentlicht: (Москва, Мир, 1985)

Что такое математическая логика?
von: Калужнин Л. А. Лев Аркадьевич
Veröffentlicht: (Москва, Наука, 1964)

Построение формулировок теорем и способов доказательств. Логические приемы мышления в творческой деятельности
von: Калошина И. П. Инна Павловна
Veröffentlicht: (Саранск, Изд-во Саратовского ГТУ, 1988)

Теория множеств и метод форсинга: пер. с англ.
von: Йех Т. Томас
Veröffentlicht: (Москва, Мир, 1973)

Теория моделей: пер. с англ.
von: Кейслер Г. Дж. Говард Джером
Veröffentlicht: (Москва, Мир, 1977)

Как математика ум в порядок приводит
von: Столяр А. А. Абрам Аронович
Veröffentlicht: (Минск, Вышэйшая школа, 1982)

Канторовская теория множеств
von: Архангельский А. В. Александр Владимирович
Veröffentlicht: (Москва, Изд-во МГУ, 1988)

Вводный курс математической логики
von: Успенский В. А. Владимир Андреевич
Veröffentlicht: (Москва, Физматлит, 2007)

Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал)
Veröffentlicht: (Новосибирск, Изд-во ИМ СО РАН, 1986)

О математической логике и философии математики. Начальные сведения об основаниях математики: пер. с англ.
von: Ивс Г.
Veröffentlicht: (Москва, Знание, 1968)

Теория множеств: пер. с нем.
von: Хаусдорф Ф.
Veröffentlicht: (Москва, ОНТИ НКТП, 1937)

Ч. 1 : Множества. Математическая логика; Методическое пособие по курсу "Основы кибернетики"
Veröffentlicht: (1985)

Т - группы
von: Шунков В. П. Владимир Петрович
Veröffentlicht: (Новосибирск, Наука, 2000)

Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления
von: Верещагин Н. К
Veröffentlicht: (Москва, МЦНМО, 2000)

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