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

Косовский Н. К.
   Элементы математической логики и её приложения к теории субрекурсивных алгоритмов : учебное пособие / Косовский Н. К. - Ленинград : Изд-во Ленинградского университета, 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.

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

Судоплатов С. В., Овчинникова Е. В.
   Математическая логика и теория алгоритмов : учебник / Судоплатов С. В., Овчинникова Е. В. ; Новосибирский государственный технический университет. - Москва : ИНФРА-М ; Новосибирск : Изд-во НГТУ, 2008. - 223 с. - (Высшее образование). - Библиогр.: с.212-214. - ISBN 978-5-16-001975-8. - ISBN 978-5-7782-0458-4.

Гурова Л. М., Зайцева Е. В.
   Математическая логика и теория алгоритмов : учеб. пособие для вузов / Гурова Л. М., Зайцева Е. В. ; Московский государственный горный университет. - Москва : Изд-во Московского государственного горного университета, 2006. - 261 с. - (Высшее горное образование). - Библиогр.: с.259. - ISBN 5-7418-0451-9. - ISBN 918-5-7418-0451-3.

Набебин А. А., Кораблин Ю. П.
   Математическая логика и теория алгоритмов : учеб. пособие / Набебин А. А., Кораблин Ю. П. - Москва : Научный мир, 2008. - 343 с. - Библиогр.: с.334. - ISBN 978-5-91522-001-9.

Бунина Е. И., Голубков А. Ю.
   Введение в теорию формальных языков : учеб. пособие для вузов / Бунина Е. И., Голубков А. Ю. ; МГТУ им. Н. Э. Баумана. - Москва : Изд-во МГТУ им. Н. Э. Баумана, 2006. - 93 с. : ил. - Библиогр.: с.91. - ISBN 5-7038-2880-5.

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