Основания математики. Логические исчисления и формализация арифметики.

Основания математики. Логические исчисления и формализация арифметики.

Bibliographic Details
Main Author:	Гильберт Д. Давид
Other Authors:	Бернайс П. Пауль
Language:	Russian
Published:	Москва, Наука, 1982
Series:	Математическая логика и основания математики
Subjects:	математика арифметика формализация математическая логика разрешимость логические выводы предикаты исчисления рекурсивные определения
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=90313

Similar Items

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

Логические и математические исчисления: учебное пособие
by: Шиханович Ю. А. Юрий Александрович
Published: (Москва, Научный мир, 2011)

Математическая теория логического вывода: сборник переводов
Published: (Москва, Наука, 1967)

Математическая логика: пер. с англ.
by: Клини С. К. Стефан Коул
Published: (Москва, Мир, 1973)

Теория логического вывода
by: Смирнов В. А. Владимир Александрович
Published: (Москва, РОССПЭН, 1999)

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

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

Логический вывод
Published: (Москва, Наука, 1979)

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

Элементы математической логики
by: Новиков П. С. Петр Сергеевич
Published: (Москва, Наука, 1973)

Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
by: Катленд Н. Найджел
Published: (Москва, Мир, 1983)

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

Основоположения арифметики; Логико-математическое исследование о понятии числа: пер. с нем.
by: Фреге Ф. Л. Г. Фридрих Людвиг Готлоб
Published: (Томск, Водолей, 2000)

Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
by: Бирюков Б. В. Борис Владимирович
Published: (Москва, Едиториал УРСС, 2004)

Логические методы и формы научного познания
Published: (Киев, Вища школа, 1984)

Математическая логика: учебное пособие
by: Лавров И. А. Игорь Андреевич
Published: (Москва, Академия, 2006)

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

Математическая логика и теория алгоритмов: учебное пособие
by: Гурова Л. М. Любовь Михайловна
Published: (Москва, Изд-во МГГУ, 2006)

Математическая логика: пер. с англ.
by: Клини С. К. Стивен Коул
Published: (Москва, Едиториал УРСС, 2005)

Методы и средства вычислений с объектами. Аппликативные вычислительные системы
by: Вольфенгаген В. Э. Вячеслав Эрнстович
Published: (Москва, JurInfoR Lrd, 2004)

Логика. Логические основы общения: Хрестоматия
Published: (Москва, Наука, 1994)

Алгоритм синтеза программ с явной и неявной рекурсией; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика
by: Пинжин А. Е. Алексей Евгеньевич
Published: (2008)

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

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

Логика и теория познания: межвузовский сборник
Published: (Ленинград, Изд-во ЛГУ, 1990)

Логика. Логические основы общения: учебное пособие для вузов
Published: (Москва, Наука, 1994)

Элементы модальной логики: монография
by: Костюк В. Н. Владимир Николаевич
Published: (Киев, Наукова думка, 1978)

Обольстить логикой. Выводы на все случаи жизни
by: Дрёссер К. Кристоф
Published: (Москва, Лаборатория знаний, 2025)

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

ДСМ-метод автоматического порождения гипотез. Логические и эпистемологические основания
Published: (Москва, Либроком, 2009)

Символическая логика: классическая и релевантная: философско - методологические аспекты; учебное пособие
by: Войшвилло Е. К. Евгений Казимирович
Published: (Москва, Высшая школа, 1989)

Содержательная семантика модальной логики
by: Ивлев Ю. В. Юрий Васильевич
Published: (Москва, Изд-во МГУ, 1985)

Как постепенно дошли люди до настоящей арифметики
by: Беллюстин В.
Published: (Москва, Государственное изд-во, 1922)

Курс теоретической и практической арифметики: пер. с франц.
by: Таннери Ж. Жюль
Published: (Москва, Типография т-ва д. Сытина, 1913)

Логические основы здравого смысла
by: Кулик Б. А. Борис Александрович
Published: (СПб., Политехника, 1997)

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

Алгебра и логика: сборник научных трудов
Published: (Новосибирск, Изд-во ИМ СО РАН, 1990)

Алгебра и логика: сборник научных трудов
Published: (Новосибирск, Изд-во ИМ СО РАН, 1990)

Алгебра и логика: сборник научных трудов
Published: (Новосибирск, Изд-во ИМ СО РАН, 1990)

Алгебра и логика: сборник научных трудов
Published: (Новосибирск, 1989)