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

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

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

Лебедев В. И.
   Функциональный анализ и вычислительная математика / Лебедев В. И. - 4-е изд., испр. и доп. - М. : Физматлит, 2000. - 295 с. - Библиогр.: с. 285-287. - ISBN 5-9221-0092-0.

Рогановский Н. М., Рогановская Е. Н.
   Элементарная математика : учебное пособие для вузов : в 2 кн. / Рогановский Н. М., Рогановская Е. Н. - Минск : Дизайн ПРО, 2000.
   Кн. 1 : Числа. - 2000. - 271 с. : ил. - Библиогр.: с. 267-268. - ISBN 985-452-038-2. - ISBN 985-452-037-4.

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

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

Лебедев В. И.
   Функциональный анализ и вычислительная математика / Лебедев В. И. - 4-е изд., испр. и доп. - М. : Физматлит, 2005. - 295 с. - Библиогр.: с. 285-287. - ISBN 5-9221-0092-0.

Боглаев Ю. П.
   Вычислительная математика и программирование : учебное пособие для втузов / Боглаев Ю. П. - М. : Высшая школа, 1990. - 543 с. : ил. - Библиогр.: с. 534-535. - ISBN 5-06-00623-9.

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

Колдаев В. Д.
   Численные методы и программирование : учебное пособие для среднего проф. образования / Колдаев В. Д. ; ред. Колдаев В. Д. - М. : ИД "ФОРУМ" : ИНФРА-М, 2008. - 335 с. - (Профессиональное образование). - ISBN 978-5-16-003148-4.