Расширенный поиск

Скорубский В. И., Поляков В. И., Зыков А. Г.
   Математическая логика : учебник и практикум для академического бакалавриата / Скорубский В. И., Поляков В. И., Зыков А. Г. ; Университет ИТМО. - М. : Юрайт, 2017. - 210 с. : ил., портр. - (Бакалавр. Академический курс). - Библиогр.: с. 176-178. - ISBN 978-5-534-01114-2.

Колмогоров А. Н., Драгалин А. Г.
   Математическая логика. Введение в математическую логику : учебное пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - М. : URSS : Ленанд, 2017. - 233 с. : ил. - (Классический университетский учебник). - Библиогр.: с. 224. - ISBN 978-5-9710-3843-6.

Игошин В. И.
   Элементы математической логики : учебник для СПО / Игошин В. И. - 2-е изд., стер. - М. : Академия, 2017. - 313 с. : ил. - (Профессиональное образование. Информатика и вычислительная техника). - Библиогр.: с. 311-312. - ISBN 978-5-4468-4664-1.

Колмогоров А. Н., Драгалин А. Г.
   Математическая логика. Дополнительные главы : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 4-е изд., обновленное. - М. : URSS : Едиториал УРСС, 2013. - 236 с. - (Классический университетский учебник). - Библиогр.: с. 227-228. - ISBN 978-5-354-01446-0.

Колмогоров А. Н., Драгалин А. Г.
   Математическая логика. Введение в математическую логику : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 4-е изд., обновленное. - М. : URSS : Едиториал УРСС, 2013. - 233 с. - (Классический университетский учебник). - Библиогр.: с. 224. - ISBN 978-5-354-01447-7.

Лихтарников Л. М., Сукачева Т. Г.
   Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 4-е изд., стер. - СПб. : Лань, 2009. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273. - ISBN 978-5-8114-0082-9.

Косовский Н. К.
   Элементы математической логики и её приложения к теории субрекурсивных алгоритмов : учебное пособие / Косовский Н. К. - Л. : Изд-во Ленинградского ун-та, 1981. - 191 с. - Библиогр.: с. 190.

Игошин В. И.
   Математическая логика и теория алгоритмов : учеб. пособие для вузов / Игошин В. И. - М. : Академия, 2004. - 446 с. : ил. - (Высшее профессиональное образование: Педагогика). - Библиогр.: с. 435-442. - ISBN 5-7695-1363-2.

Аляев Ю. А., Тюрин С. Ф.
   Дискретная математика и математическая логика : учебник для вузов / Аляев Ю. А., Тюрин С. Ф. - М. : Финансы и статистика, 2006. - 364 с. : ил. - Библиогр.: с. 355-357. - ISBN 5-279-03045-7.

Зюзьков В. М., Шелупанов А. А.
   Математическая логика и теория алгоритмов : учеб. пособие для вузов / Зюзьков В. М., Шелупанов А. А. - 2-е изд. - М. : Горячая линия - Телеком, 2007. - 176 с. : ил. - Библиогр.: с. 173-174. - ISBN 5-93517-349-2.