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

Теория доказательств, пер. с англ.

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Такеути Г. Гаиси
منشور في:	Москва, Мир, 1978
الموضوعات:	системы первого порядка предикаты первого порядка исчисление арифметика Пеано системы второго порядка системы конечного порядка инфинитарная логика непротиворечивость доказательства применение
التنسيق:	كتاب
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=370533

مواد مشابهة

Алгоритмы и формальные системы учебное пособие
حسب: Лисовик Л. П. Леонид Петрович
منشور في: (Киев, Изд-во КГУ, 1981)

Математическая логика курс лекций учебное пособие
حسب: Тимофеева И. Л. Ирина Леонидовна
منشور في: (Москва, Университет, 2007)

Математическая логика пер. с англ.
حسب: Гудстейн Р. Л.
منشور في: (Москва, Изд-во иностранной литературы, 1961)

Вводный курс математической логики
حسب: Успенский В. А. Владимир Андреевич
منشور في: (Москва, Физматлит, 2007)

Симметрическая конструктивная логика
حسب: Заславский И. Д. Игорь Дмитриевич
منشور في: (Ереван, Изд-во АН Армянской ССР, 1978)

Математическая логика учебное пособие для вузов
حسب: Ершов Ю. Л. Юрий Леонидович
منشور في: (Москва, Физматлит, 2011)

Элементы математической логики
حسب: Марков А. А. Андрей Андреевич
منشور في: (Москва, Изд-во МГУ, 1984)

Введение в метаматематику пер. с англ.
حسب: Клини С. К. Стефен К.
منشور في: (Москва, Изд-во иностранной литературы, 1957)

Генценовские системы для исчисления высказываний и аксиоматической арифметики учебное пособие
حسب: Кипнис М. М. Михаил Маркович
منشور في: (Челябинск, Изд-во ЧПИ, 1985)

Т. III
منشور في: (1958)

Применение ЭВМ для решения задач математической логики учебное пособие
حسب: Мелихов А. Н. Аскольд Николаевич
منشور في: (Таганрог, Изд-воТРТИ, 1988)

Геометрия учебник
حسب: Кузютин В. Ф. Вячеслав Федорович
منشور في: (СПб., Лань, 2003)

Математическая логика. Задачник-практикум и решения курс лекций учебное пособие
حسب: Лихтарников Л. М. Леонид Моисеевич
منشور في: (СПб., Лань, 2009)

Обновленный курс обыкновенных дифференциальных уравнений учебное пособие для вузов
حسب: Егоров А. И.
منشور في: (Санкт-Петербург, Лань, 2024)

Высшая математика. Дифференциальные уравнения учебно-методическое пособие
حسب: Югова Н. В.
منشور في: (Новосибирск, НГТУ, 2020)

Учебно-методическое пособие для выполнения самостоятельной работы студентами дневного отделения и контрольной работы студентами заочного отделения по курсам «Математика», «Математический анализ». Раздел «Дифференциальные уравнения»
حسب: Данилова Ю. С.
منشور في: (Тольятти, ПВГУС, 2018)

Элементы аналитической геометрии учебное пособие
حسب: Пинус А. Г.
منشور في: (Новосибирск, НГТУ, 2021)

Математическая логика. Курс лекций. Задачник-практикум и решения учебное пособие
حسب: Лихтарников Л. М. Леонид Моисеевич
منشور في: (СПб., Лань, 2008)

Введение в математическую логику
حسب: Зюзьков В. М.
منشور في: (Санкт-Петербург, Лань, 2022)

Дифференциальные уравнения учебное пособие
حسب: Демидович Б. П. Борис Павлович
منشور في: (СПб., Лань, 2006)

Математическая логика и теория алгоритмов учебник
حسب: Судоплатов С. В.
منشور في: (Москва, Инфра-М, 2008)

Математический анализ учебное пособие
حسب: Волкова С. Н.
منشور في: (Курск, Курский ГАУ, 2015)

Обыкновенные дифференциальные уравнения: практикум
حسب: Артамонова Н. Е.
منشور في: (Санкт-Петербург, ПГУПС, 2024)

Математический анализ. Дифференциальные уравнения учебное пособие
حسب: Галанова З. С.
منشور في: (Санкт-Петербург, ПГУПС, 2012)

Дифференциальные уравнения в задачах электротехники и биохимической инженерии. Практикум учебное пособие
حسب: Кострова Ю. С.
منشور في: (Рязань, РГРТУ, 2022)

Введение в теорию систем пер. с англ.
حسب: Директор С. Стефен
منشور في: (Москва, Мир, 1974)

Логическая тетрадь нерешенные вопросы математической логики (оперативный информационный материал)
منشور في: (Новосибирск, Изд-во ИМ СО РАН, 1986)

Исследования по теории доказательств сборник статей пер. с англ.
حسب: Крайзель Г.
منشور في: (Москва, Мир, 1981)

Нелокальные проблемы теории колебаний
حسب: Плисс В. А. Виктор Александрович
منشور في: (Москва, Наука, 1964)

Аналитический метод решения уравнений математической физики учебное пособие
حسب: Якимов А. С. Анатолий Степанович
منشور في: (Томск, Изд-во ТГУ, 2010)

Дифференциальные уравнения учебно-методическое пособие
حسب: Елецких К. С.
منشور في: (Елец, ЕГУ им. И.А. Бунина, 2024)

Введение в математическую логику монография пер. с англ.
حسب: Чёрч А.
منشور في: (Москва, Изд-во иностранной литературы, 1960)

Дифференциальные уравнения учебное пособие
حسب: Иткина Н. Б.
منشور في: (Новосибирск, НГТУ, 2023)

Основы математической логики учебное пособие
حسب: Людковский С. В.
منشور في: (Москва, РТУ МИРЭА, 2023)

Дифференциальные уравнения учебно-методическое пособие по дисциплине «высшая математика»
حسب: Ракул Е. А.
منشور في: (Брянск, Брянский ГАУ, 2021)

Математическая логика и теория алгоритмов учебное пособие
حسب: Крупский В. Н. Владимир Николаевич
منشور في: (Москва, Академия, 2013)

Основы математической логики учебное пособие
حسب: Репницкий В. Б.
منشور في: (Екатеринбург, ЕАСИ, 2015)

Определение характеристик упругости конструкционных металлов в области микро- и макроупругих деформаций
حسب: Стрижало В. А.
منشور في: (2003)

Дифференциальные уравнения учебно-методическое пособие
حسب: Просолупова Н. А.
منشور في: (Курск, КГУ, 2021)

Электротехника. Часть 2 Учебное пособие
حسب: Дягилев А. А.
منشور في: (Рязань, РГРТУ, 2014)