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

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

   Логические и логико-математические исчисления : сборник работ / АН СССР. - Л. : Наука, Ленинградское отделение, 1968. - (Труды/Математический институт им. В. А. Стеклова).
   Сб. 2. - 1972. - 165 с. - (... ; т. 121). - Библиогр. в конце ст.

Хомич В. И.
   Логика высказываний и исчисление высказываний : учеб. пособие по курсу "Математическая логика и теория алгоритмов" / Хомич В. И. ; ред. Крищенко А. П. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 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.

   Математическая логика : учебное пособие педагогических институтов / Латотин Л. А., Макаренков Ю. А., Николаева В. В., Столяр А. А. ; общ. ред. Столяр А. А. - Минск : Вышэйшая школа, 1991. - 269 с. : ил. - Библиогр.: с. 260. - ISBN 5-339-00342-6.

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

Раца М. Ф.
   Выразимость в исчислениях высказываний : монография / Раца М. Ф. ; ред. Тайманов А. Д. ; Академия наук ССРМ, Институт математики с вычислительным центром. - Кишинёв : Штиинца, 1991. - 202 с. : ил. - Библиогр.: с. 196-201. - ISBN 5-376-00961-0.

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