Введение в метаматематику: пер. с англ.

Введение в метаматематику: пер. с англ.

Bibliografiske detaljer
Hovedforfatter:	Клини С. К. Стефен К.
Sprog:	russisk
Udgivet:	Москва, Изд-во иностранной литературы, 1957
Fag:	математика метаматематика математическая логика рекурсивные функции теория множеств формализм формальные системы высказывания исчисление предикаты формальная арифметика машины Тьюринга теорема Генцена непротиворечивость
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=119557

Lignende værker

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

Введение в математическую логику: пер. с англ.
af: Мендельсон Э. Эллиот
Udgivet: (Москва, Наука, 1971)

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

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

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

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

Введение в математическую логику: пер. с англ.
af: Мендельсон Э. Эллиот
Udgivet: (Москва, Наука, 1976)

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

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

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

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

Введение в математическую логику
af: Зюзьков В. М.
Udgivet: (Санкт-Петербург, Лань, 2022)

Математическая логика и теория алгоритмов учебное пособие
af: Гамова А. Н.
Udgivet: (Саратов, СГУ, 2020)

Математическая логика и теория алгоритмов: учебное пособие
af: Игошин В. И. Владимир Иванович
Udgivet: (Москва, Academia, 2004)

Математическая логика. Курс лекций и практических занятий: учебное пособие
af: Шапорев С. Д.
Udgivet: (СПб., БХВ-Петербург, 2005)

Лекции по математической логике: учебное пособие
af: Мощенский В. А. Владимир Андреевич
Udgivet: (Минск, Изд-во Белорусского гос. ун-та, 1973)

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

Курс математической логики и теории вычислимости: учебное пособие для вузов
af: Герасимов А. С. Александр Сергеевич
Udgivet: (Санкт-Петербург, Лань, 2014)

Дискретная математика: учебник
af: Поздняков С. Н. Сергей Николаевич
Udgivet: (Москва, Академия, 2008)

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

Введение в математическую логику: пер. с англ.
af: Мендельсон Э. Эллиот
Udgivet: (Москва, Наука, 1984)

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

Математическая логика и теория алгоритмов: учебное пособие
af: Набебин А. А. Алексей Александрович
Udgivet: (СПб., Научный мир, 2008)

Алгоритмы и рекурсивные функции
af: Мальцев А. И. Анатолий Иванович
Udgivet: (Москва, Наука, 1986)

Язык логики: пер. с англ.
af: Фрейденталь Х. Ханс
Udgivet: (Москва, Наука, 1969)

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

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

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

Лекции по дискретной математике
Udgivet: (СПб., БХВ-Петербург, 2004)

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

Множества. Логика. Аксиоматические теории: пер. с англ.
af: Столл Р. Р. Роберт Р.
Udgivet: (Москва, Просвещение, 1968)

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

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

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

Вычислимое и невычислимое
af: Манин Ю. И. Юрий Иванович
Udgivet: (Москва, Сов. радио, 1980)

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

Дискретная математика: учебник
af: Спирина М. С. Марина Савельевна
Udgivet: (Москва, Академия, 2007)

Дискретная математика: учебник
af: Спирина М. С. Марина Савельевна
Udgivet: (Москва, Академия, 2006)

Математическая логика и теория алгоритмов учебное пособие
af: Михальченко Г. Е.
Udgivet: (Красноярск, СФУ, 2018)

Математическая логика и теория алгоритмов учебное пособие
af: Ярахмедов Г. А.
Udgivet: (Махачкала, ДГПУ, 2024)