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

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

Bibliographic Details
Main Author:	Калужнин Л. А. Лев Аркадьевич
Language:	Russian
Published:	Москва, Наука, 1964
Subjects:	Математическая логика логика высказываний тождественные формулы логика предикатов основания математики логические операции булевы функции кванторы операции суждения силлогизмы
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=330429

Similar Items

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
by: Игошин В. И. Владимир Иванович
Published: (Москва, Академия, 2005)

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

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

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

Основы дискретной математики: учебное пособие
by: Галиев Ш. И. Шамиль Ибрагимович
Published: (Казань, [Б. и.], 1978)

Математическая логика: учебное пособие
by: Игошин В. И. Владимир Иванович
Published: (Москва, Инфра-М, 2012)

Математическая логика: учебное пособие
by: Игошин В. И. Владимир Иванович
Published: (Москва, Инфра-М, 2019)

Математическая логика: учебник
by: Никольская И. Л. Инна Львовна
Published: (Москва, Высшая школа, 1981)

Математическая логика и теория алгоритмов для программистов: учебное пособие
by: Гринченков Д. В. Дмитрий Валерьевич
Published: (Москва, КноРус, 2010)

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

Математическая логика и теория алгоритмов / ДО 2021: электронный курс
by: Шефер О. В. Ольга Владимировна
Published: (Томск, TPU Moodle, 2021)

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

Логика: учебник
by: Маслов Н. А. Николай Аркадьевич
Published: (Ростов-на-Дону, Феникс, 2008)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
by: Игошин В. И. Владимир Иванович
Published: (Москва, Академия, 2006)

Популярная логика: общедоступный очерк логики предложений; пер. с пол.
by: Гжегорчик А. Анджей
Published: (Москва, Наука, 1972)

Логика: учебник
by: Кириллов В. И. Вячеслав Иванович
Published: (Москва, Проспект, 2021)

Логика: Курс лекций
by: Тымцяс В. Г.
Published: (Москва, ПРИОР, 1999)

Формальная логика с элементами теории познания: учебник для вузов
by: Абачиев С. К. Сергей Константинович
Published: (Ростов-на-Дону, Феникс, 2012)

Задачи и упражнения по логике: учебное пособие
by: Уемов А. И. Авенир Иванович
Published: (Москва, Высшая школа, 1961)

Алгебра и математическая логика: межведомственный сборник
Published: (Киев, Изд-во Киевского ун-та, 1966)

Логика: Практический курс; учебник для вузов
by: Рузавин Г. И.
Published: (Москва, ЮНИТИ-ДАНА, 2002)

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

Всесоюзная конференция по прикладной логике, Новосибирск, 22-24 октября 1985 г.: тезисы докладов
Published: (Новосибирск, Изд-во ИМ, 1985)

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

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

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

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

Логика: учебное пособие
by: Руденко А. М. Андрей Михайлович
Published: (Ростов-на-Дону, Феникс, 2019)

Логика: учебник
by: Демидов И. В. Игорь Владимирович
Published: (Москва, Дашков и К, 2007)

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

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

Дискретная математика и математическая логика: учебник
by: Аляев Ю. А. Юрий Александрович
Published: (Москва, Финансы и статистика, 2006)

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

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

Логика: учебное пособие
by: Хоменко Е. А. Ефим Алексеевич
Published: (Москва, Воениздат, 1976)

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

Основы логики
by: Бочаров В. А. Вячеслав Александрович
Published: (Москва, Космополис, 1994)

Логика и теория аргументации: учебное пособие
by: Сычева С. Г. Светлана Георгиевна
Published: (Томск, Изд-во ТПУ, 2008)

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

Исследования по теории доказательств: сборник статей; пер. с англ.
by: Крайзель Г.
Published: (Москва, Мир, 1981)