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

Успенский В. А., Верещагин Н. К., Плиско В. Е.
   Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - Москва : Физматлит, 2007. - 125 с. - Библиогр.: с.122. - Авт. на обл. не указаны. - ISBN 978-5-9221-0278-0.

Шапорев С. Д.
   Математическая логика. Курс лекций и практических занятий : учеб. пособие для вузов / Шапорев С. Д. - Санкт-Петербург : БХВ-Петербург, 2007. - VI, 410 с. : ил. - (Учебное пособие). - Библиогр.: c.405. - ISBN 978-5-94157-702-6.

Турецкий В. Я.
   Математика и информатика : учеб. пособие для вузов / Турецкий В. Я. ; Уральский гос. ун-т. - 3-е изд., перераб. и доп. - Москва : ИНФРА-М, 2008. - 557 с. : ил. - (Высшее образование). - Библиогр.: с.557. - ISBN 978-5-16-000171-5.

Ершов Ю. Л., Палютин Е. А.
   Математическая логика : учеб. пособие для вузов / Ершов Ю. Л., Палютин Е. А. - [6-е изд., испр.]. - Москва : Физматлит, 2011. - 356 с. - ISBN 978-5-9221-1301-4.

Шиханович Ю. А.
   Логические и математические исчисления : учеб. пособие / Шиханович Ю. А. - Москва : Научный мир, 2011. - 253 с. : ил. - Библиогр.: с.235-236. - ISBN 978-5-91522-246-4.

Непейвода Н. Н.
   Прикладная логика : учеб. пособие для вузов / Непейвода Н. Н. - 2-е изд., испр. и доп. - Новосибирск : Изд-во Новосиб. ун-та, 2000. - 488 с. - Библиогр.: с.479-481. - ISBN 5-7615-0490-1.

Хомич В. И.
   Логика высказываний и исчисление высказываний : учеб. пособие по курсу "Математическая логика и теория алгоритмов" / Хомич В. И. ; МГТУ им. Н. Э. Баумана ; ред. Крищенко А. П. - Москва : Изд-во МГТУ им. Н. Э. Баумана, 2004. - 41 с. - Библиогр.: с.41. - ISBN 5-7038-2528-8.

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

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

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