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

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

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

Antzeko izenburuak

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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