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

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

   Исследование логических систем / Академия наук СССР, Институт философии ; отв. ред. Таванец П. В. - М. : Наука, 1970. - 333 с. : ил. - Библиогр. в конце ст.

   Исследования по конструктивной математике и математической логике : сборник работ / Российская академия наук. - СПб. : Наука, 1995. - (Записки научных семинаров ПОМИ / Математический ин-т им. В. А. Стеклова. Санкт-Петербургское отделение ; т. ...).
   Вып. 9 : посвящается 75-летию Н. А. Шанина / ред. Даницин Е. Я., Оревков В. П. - 1995. - 148 с. - (... ; т. 220). - Библиогр. в конце статей. - ISBN 5-02-024811-8.

Казарян В. П., Лолаев Т. П.
   Математика и культура : учеб. пособие для вузов / Казарян В. П., Лолаев Т. П. ; ред. Лебедев С. А. - 2-е изд., испр. и доп. - М. : Научный мир, 2004. - 287 с. - Библиогр.: с. 275-282. - ISBN 5-89176-254-4.

Кановей В. Г., Любецкий В. А.
   Современная теория множеств: начала дескриптивной динамики / Кановей В. Г., Любецкий В. А. ; РАН. Ин-т проблем передачи информации им. А. А. Харкевича ; отв. ред. Палютин Е. А. - М. : Наука, 2007. - 231 с. - Библиогр.: с. 219-223. - ISBN 978-5-02-035577-4.

Карри Хаскелл Б.
   Основания математической логики / Карри Хаскелл Б. ; пер. с англ. Донченко В. В. ; ред. пер. Гастев Ю. А. - М. : Мир, 1969. - 567 с.

Китаев А. Ю., Шень А., Вялый М.
   Классические и квантовые вычисления / Китаев А. Ю., Шень А., Вялый М. - М. : МЦНМО : ЧеРо, 1999. - 191 с. : ил. - (Новые математические дисциплины). - Библиогр.: с. 186-188. - ISBN 5-900916-35-9. - ISBN 985-6595-04-5.

Клини С. К.
   Математическая логика : пер. с англ. / Клини С. К. ; ред. пер. Минц Г. Е. ; пер. Гостев Ю. А. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 480 с. - Библиогр.: с. 451-465. - ISBN 5-354-01011-X.

Клини С. К.
   Математическая логика : пер. с англ. / Клини С. К. ; ред. пер. Минц Г. Е. ; пер. Гастев Ю. А. - 3-е изд., стер. - М. : КомКнига, 2007. - 480 с. - Библиогр.: с. 451-465. - ISBN 978-5-484-00802-5.

Ключарев П. Г., Жуков Д. А.
   Введение в теорию алгоритмов : учеб. пособие / Ключарев П. Г., Жуков Д. А. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2012. - 37 с. : ил. - Библиогр.: с. 37.