Математическая логика

Математическая логика

Xehetasun bibliografikoak
Egile nagusia:	Гладкий А. В. Алексей Всеволодович
Hizkuntza:	errusiera
Argitaratua:	Москва, Изд-во Российского ГГУ, 1998
Gaiak:	математика математическая логика логика семантика синтаксис лингвистика алгоритмы формальная арифметика теория задачи упражнения практические пособия учебные пособия
Formatua:	Liburua
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=29466

Antzeko izenburuak

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

Конструктивная математическая логика с точки зрения классической
nork: Новиков П. С. Петр Сергеевич
Argitaratua: (Москва, Наука, 1977)

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

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

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

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

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

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

Математическая логика: учебное пособие
nork: Ершов Юрий Леонидович
Argitaratua: (Москва, Наука, 1987)

Логика. Практикум: учебное пособие для бакалавров
nork: Михайлов К. А. Кирилл Авенирович
Argitaratua: (Москва, Юрайт, 2012)

Математическая логика: учебное пособие
nork: Ершов Ю. Л. Юрий Леонидович
Argitaratua: (Москва, Наука, 1979)

Математическая логика и теория алгоритмов: учебное пособие
nork: Шелупанов А. А. Александр Александрович
Argitaratua: (Томск, STT, 2001)

Логика: учебник
nork: Свинцов В. И. Виталий Иванович
Argitaratua: (Москва, Высшая школа, 1987)

Задачи по теории множеств, математической логике и теории алгоритмов
nork: Лавров И. А. Игорь Андреевич
Argitaratua: (Москва, Физматлит, 2002)

Задачи по теории множеств, математической логике и теории алгоритмов
nork: Лавров И. А. Игорь Андреевич
Argitaratua: (Наука, 1975)

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

Логика: учебник
nork: Кириллов В. И. Вячеслав Иванович
Argitaratua: (Москва, Высшая школа, 1987)

Логика: учебник
nork: Кириллов В. И. Вячеслав Иванович
Argitaratua: (Москва, Высшая школа, 1982)

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

Математическая логика: учебное пособие
nork: Эдельман С. Л. Самсон Львович
Argitaratua: (Москва, Высшая школа, 1975)

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

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

Логика. Курс лекций в таблицах, рисунках и примерах учебное пособие для вузов
nork: Бабичева И. В.
Argitaratua: (Санкт-Петербург, Лань, 2024)

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

Основы дискретной математики: учебное пособие
nork: Горбатов В. А. Вячеслав Афанасьевич
Argitaratua: (Москва, Высшая школа, 1986)

Математическая логика учебник и практикум для вузов
nork: Скорубский В. И. Владимир Иванович
Argitaratua: (Москва, Юрайт, 2023)

Математическая логика учебник и практикум для вузов
nork: Скорубский В. И. Владимир Иванович
Argitaratua: (Москва, Юрайт, 2025)

Математическая логика учебник и практикум для вузов
nork: Скорубский В. И. Владимир Иванович
Argitaratua: (Москва, Юрайт, 2026)

Математическая логика учебник и практикум для вузов
nork: Скорубский В. И. Владимир Иванович
Argitaratua: (Москва, Юрайт, 2024)

Математическая логика учебник и практикум для вузов
nork: Скорубский В. И. Владимир Иванович
Argitaratua: (Москва, Юрайт, 2022)

Логика: учебное пособие
nork: Афанасьева О. В. Ольга Викторовна
Argitaratua: (Москва, Проспект, 2011)

Дискретная математика: учебник для вузов
nork: Соболева Т. С. Татьяна Сергеевна
Argitaratua: (Москва, Академия, 2006)

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

Математическая логика и теория алгоритмов учебное пособие
nork: Глотина И. М.
Argitaratua: (Пермь, ПГАТУ, 2025)

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

Формальная логика: учебник
Argitaratua: (Ленинград, Изд-во Ленингр. ун-та, 197734)

Логика и развитие научного знания: Межвузовский сборник
Argitaratua: (СПб., Изд-во СПбГУ, 1992)

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

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

Математическая логика и теория алгоритмов
Argitaratua: (Новосибирск, Изд-во ИМ СО РАН, 1993)