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

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

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Такеути Г. Гаиси
Teanga:	Rúisis
Foilsithe / Cruthaithe:	Москва, Мир, 1978
Ábhair:	Математическая логика системы первого порядка предикаты первого порядка исчисление арифметика Пеано системы второго порядка системы конечного порядка инфинитарная логика непротиворечивость доказательства применение
Formáid:	LEABHAR
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=370533

Míreanna comhchosúla

Математическая логика: курс лекций; учебное пособие
de réir: Тимофеева И. Л. Ирина Леонидовна
Foilsithe / Cruthaithe: (Москва, Университет, 2007)

Алгоритмы и формальные системы: учебное пособие
de réir: Лисовик Л. П. Леонид Петрович
Foilsithe / Cruthaithe: (Киев, Изд-во КГУ, 1981)

Математическая логика: пер. с англ.
de réir: Гудстейн Р. Л.
Foilsithe / Cruthaithe: (Москва, Изд-во иностранной литературы, 1961)

Вводный курс математической логики
de réir: Успенский В. А. Владимир Андреевич
Foilsithe / Cruthaithe: (Москва, Физматлит, 2007)

Симметрическая конструктивная логика
de réir: Заславский И. Д. Игорь Дмитриевич
Foilsithe / Cruthaithe: (Ереван, Изд-во АН Армянской ССР, 1978)

Математическая логика: учебное пособие для вузов
de réir: Ершов Ю. Л. Юрий Леонидович
Foilsithe / Cruthaithe: (Москва, Физматлит, 2011)

Элементы математической логики
de réir: Марков А. А. Андрей Андреевич
Foilsithe / Cruthaithe: (Москва, Изд-во МГУ, 1984)

Введение в метаматематику: пер. с англ.
de réir: Клини С. К. Стефен К.
Foilsithe / Cruthaithe: (Москва, Изд-во иностранной литературы, 1957)

Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
de réir: Кипнис М. М. Михаил Маркович
Foilsithe / Cruthaithe: (Челябинск, Изд-во ЧПИ, 1985)

Т. III; Интегральное исчисление
Foilsithe / Cruthaithe: (1958)

Геометрия: учебник
de réir: Кузютин В. Ф. Вячеслав Федорович
Foilsithe / Cruthaithe: (СПб., Лань, 2003)

Применение ЭВМ для решения задач математической логики: учебное пособие
de réir: Мелихов А. Н. Аскольд Николаевич
Foilsithe / Cruthaithe: (Таганрог, Изд-воТРТИ, 1988)

Обновленный курс обыкновенных дифференциальных уравнений учебное пособие для вузов
de réir: Егоров А. И.
Foilsithe / Cruthaithe: (Санкт-Петербург, Лань, 2024)

Математическая логика. Задачник-практикум и решения: курс лекций; учебное пособие
de réir: Лихтарников Л. М. Леонид Моисеевич
Foilsithe / Cruthaithe: (СПб., Лань, 2009)

Высшая математика. Дифференциальные уравнения учебно-методическое пособие
de réir: Югова Н. В.
Foilsithe / Cruthaithe: (Новосибирск, НГТУ, 2020)

Учебно-методическое пособие для выполнения самостоятельной работы студентами дневного отделения и контрольной работы студентами заочного отделения по курсам «Математика», «Математический анализ». Раздел «Дифференциальные уравнения»
de réir: Данилова Ю. С.
Foilsithe / Cruthaithe: (Тольятти, ПВГУС, 2018)

Элементы аналитической геометрии учебное пособие
de réir: Пинус А. Г.
Foilsithe / Cruthaithe: (Новосибирск, НГТУ, 2021)

Математическая логика. Курс лекций. Задачник-практикум и решения: учебное пособие
de réir: Лихтарников Л. М. Леонид Моисеевич
Foilsithe / Cruthaithe: (СПб., Лань, 2008)

Дифференциальные уравнения: учебное пособие
de réir: Демидович Б. П. Борис Павлович
Foilsithe / Cruthaithe: (СПб., Лань, 2006)

Математический анализ. Дифференциальные уравнения учебное пособие
de réir: Галанова З. С.
Foilsithe / Cruthaithe: (Санкт-Петербург, ПГУПС, 2012)

Математический анализ учебное пособие
de réir: Волкова С. Н.
Foilsithe / Cruthaithe: (Курск, Курский ГАУ, 2015)

Обыкновенные дифференциальные уравнения: практикум
de réir: Артамонова Н. Е.
Foilsithe / Cruthaithe: (Санкт-Петербург, ПГУПС, 2024)

Введение в математическую логику
de réir: Зюзьков В. М.
Foilsithe / Cruthaithe: (Санкт-Петербург, Лань, 2022)

Введение в теорию систем: пер. с англ.
de réir: Директор С. Стефен
Foilsithe / Cruthaithe: (Москва, Мир, 1974)

Математическая логика и теория алгоритмов: учебник
de réir: Судоплатов С. В.
Foilsithe / Cruthaithe: (Москва, Инфра-М, 2008)

Дифференциальные уравнения в задачах электротехники и биохимической инженерии. Практикум учебное пособие
de réir: Кострова Ю. С.
Foilsithe / Cruthaithe: (Рязань, РГРТУ, 2022)

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

Исследования по теории доказательств: сборник статей; пер. с англ.
de réir: Крайзель Г.
Foilsithe / Cruthaithe: (Москва, Мир, 1981)

Нелокальные проблемы теории колебаний
de réir: Плисс В. А. Виктор Александрович
Foilsithe / Cruthaithe: (Москва, Наука, 1964)

Введение в математическую логику: монография; пер. с англ.; Т. 1
de réir: Чёрч А.
Foilsithe / Cruthaithe: (Москва, Изд-во иностранной литературы, 1960)

Аналитический метод решения уравнений математической физики: учебное пособие
de réir: Якимов А. С. Анатолий Степанович
Foilsithe / Cruthaithe: (Томск, Изд-во ТГУ, 2010)

Дифференциальные уравнения учебно-методическое пособие
de réir: Елецких К. С.
Foilsithe / Cruthaithe: (Елец, ЕГУ им. И.А. Бунина, 2024)

Дифференциальные уравнения учебное пособие
de réir: Иткина Н. Б.
Foilsithe / Cruthaithe: (Новосибирск, НГТУ, 2023)

Основы математической логики учебное пособие
de réir: Людковский С. В.
Foilsithe / Cruthaithe: (Москва, РТУ МИРЭА, 2023)

Дифференциальные уравнения: пер. с англ.
de réir: Трикоми Ф.
Foilsithe / Cruthaithe: (Москва, Изд-во иностранной литературы, 1962)

Дифференциальные уравнения учебно-методическое пособие по дисциплине «высшая математика»
de réir: Ракул Е. А.
Foilsithe / Cruthaithe: (Брянск, Брянский ГАУ, 2021)

Определение характеристик упругости конструкционных металлов в области микро- и макроупругих деформаций; Проблемы прочности; № 6
de réir: Стрижало В. А.
Foilsithe / Cruthaithe: (2003)

Электротехника. Часть 2 Учебное пособие
de réir: Дягилев А. А.
Foilsithe / Cruthaithe: (Рязань, РГРТУ, 2014)

Дифференциальные уравнения
de réir: Демидович Б. П.
Foilsithe / Cruthaithe: (Санкт-Петербург, Лань, 2022)

Дифференциальные уравнения учебно-методическое пособие
de réir: Просолупова Н. А.
Foilsithe / Cruthaithe: (Курск, КГУ, 2021)