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

Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С.
   Математическая логика и теория алгоритмов : метод. указания к выполнению типового расчета / Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2011. - 43 с. : ил. - Библиогр. в конце брош.

Герасимов А. С.
   Курс математической логики и теории вычислимости : учеб. пособие / Герасимов А. С. - 4-е изд., перераб. и доп. - СПб. : Лань, 2014. - 409 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 380-383. - ISBN 978-5-8114-1666-0.

Гринченков Д. В., Потоцкий С. И.
   Математическая логика и теория алгоритмов для программистов : учебное пособие для вузов / Гринченков Д. В., Потоцкий С. И. - М. : Кнорус, 2017. - 206 с. - Библиогр.: с. 205-206. - ISBN 978-5-406-05421-5.

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

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