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

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

Bibliographic Details
Main Author:	Такеути Г. Гаиси
Language:	Russian
Published:	Москва, Мир, 1978
Subjects:	Математическая логика системы первого порядка предикаты первого порядка исчисление арифметика Пеано системы второго порядка системы конечного порядка инфинитарная логика непротиворечивость доказательства применение
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=370533

Similar Items

Математическая логика: курс лекций; учебное пособие
by: Тимофеева И. Л. Ирина Леонидовна
Published: (Москва, Университет, 2007)

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

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

Геометрия: учебник
by: Кузютин В. Ф. Вячеслав Федорович
Published: (СПб., Лань, 2003)

Дифференциальные уравнения: учебное пособие
by: Демидович Б. П. Борис Павлович
Published: (СПб., Лань, 2006)

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

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

Введение в теорию систем: пер. с англ.
by: Директор С. Стефен
Published: (Москва, Мир, 1974)

Нелокальные проблемы теории колебаний
by: Плисс В. А. Виктор Александрович
Published: (Москва, Наука, 1964)

Математическая логика: пер. с англ.
by: Гудстейн Р. Л.
Published: (Москва, Изд-во иностранной литературы, 1961)

Дифференциальные уравнения: пер. с англ.
by: Трикоми Ф.
Published: (Москва, Изд-во иностранной литературы, 1962)

Обыкновенные дифференциальные уравнения с приложениями
by: Егоров А. И. Александр Иванович
Published: (Москва, Физматлит, 2005)

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

Краткий курс аналитической геометрии: учебник для вузов
by: Ефимов Н. В. Николай Владимирович
Published: (Москва, Физматлит, 2006)

Сборник задач по аналитической геометрии: учебное пособие
by: Клетеник Д. В. Давид Викторович
Published: (Москва, Государственное издательство технико-теоретической литературы, 1955)

Справочник по дифференциальным уравнениям в частных производных первого порядка
by: Камке Э.
Published: (Москва, Наука, 1966)

Введение в метаматематику: пер. с англ.
by: Клини С. К. Стефен К.
Published: (Москва, Изд-во иностранной литературы, 1957)

Сборник задач по аналитической геометрии: учебное пособие
by: Клетеник Д. В. Давид Викторович
Published: (Санкт-Петербург, Лань, 2010)

Устойчивость нелинейных систем автоматического управления: [монография]; пер. с англ.
by: Лефшец С.
Published: (Москва, Мир, 1967)

Раздел 1: Ощие представления о планировании экспериментов. Планы первого порядка; Математические методы планирования экспериментов в металловедении
Published: (1972)

Общие исследования, относящиеся к интегрированию в конечном виде дифференциальных уравнений первого порядка. Статья 2
by: Мордухай-Болтовской Д. Д. Дмитрий Дмитриевич
Published: (Харьков, Типография и Литография М. Зильберберг и С-вья, 1909)

Сплайновая оценка тренда временного ряда при случайном числе данных в моменты измерений; Вестник Томского государственного университета. Математика и механика; № 1 (33)
by: Устинова И. Г. Ирина Георгиевна
Published: (2015)

Сборник задач по аналитической геометрии
by: Клетеник Д. В.
Published: (Москва, Мир, 1981)

Симметрическая конструктивная логика
by: Заславский И. Д. Игорь Дмитриевич
Published: (Ереван, Изд-во АН Армянской ССР, 1978)

Высшая математика: учебное пособие; Ч. 3
by: Козловских А. В. Александр Владимирович
Published: (Томск, Изд-во ТПУ, 2000)

Сборник задач по дифференциальным уравнениям и вариационному исчислению
Published: (Москва, ЮНИМЕДИАСТАЙЛ, 2002)

Implementation and Evaluation of a Decision Support Systems for the Patients of a Laboratory Service; Communications in Computer and Information Science; Vol. 756 : Information and Software Technologies
by: Kopanitsa G. D. Georgy Dmitrievich
Published: (2017)

Сборник задач по дифференциальным уравнениям
by: Филиппов А. Ф. Алексей Федорович
Published: (Москва, Регулярная и хаотическая динамика, 2004)

Элементы математической логики
by: Марков А. А. Андрей Андреевич
Published: (Москва, Изд-во МГУ, 1984)

Некоторые переопределенные системы уравнений в частных производных с двумя неизвестными функциями: [монография]
by: Михайлов Л. Г. Леонид Григорьевич
Published: (Душанбе, Дониш, 1986)

Основной курс аналитической геометрии. Ч. 2. Геометрия в пространстве
by: Андреев К. А. Константин Алексеевич
Published: (Харьков, Издание книжного магазина Д. Н. Полеухова, 1888)

Математическая логика: учебное пособие для вузов
by: Ершов Ю. Л. Юрий Леонидович
Published: (Москва, Физматлит, 2011)

Сборник задач по аналитической геометрии: учебное пособие
by: Клетеник Д. В. Давид Викторович
Published: (Москва, Наука, 1972)

Сборник задач по аналитической геометрии: учебное пособие
by: Клетеник Д. В. Давид Викторович
Published: (Москва, Наука, 1964)

Сборник задач по аналитической геометрии: учебное пособие
by: Клетеник Д. В. Давид Викторович
Published: (Москва, Физматлит, 1958)

Обыкновенные дифференциальные уравнения: учебное пособие
by: Федорюк М. В. Михаил Васильевич
Published: (Москва, Наука, 1985)

Пособие к решению задач по высшей математике
by: Гусак А. А.
Published: (Минск, Изд-во ВГУ, 1973)

Квадратичные формы и матрицы: учебное пособие для вузов
by: Ефимов Н. В. Николай Владимирович
Published: (Москва, Наука, 1975)

Краткий курс аналитической геометрии: учебник для вузов
by: Ефимов Н. В. Николай Владимирович
Published: (Москва, Физматлит, 2002)

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