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

Лихтарников Л. М., Сукачева Т. Г.
   Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 4-е изд., стер. - СПб. : Лань, 2009. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273. - ISBN 978-5-8114-0082-9.

   Логика и комбинаторика / сост. Егоров А. А. - М. : Бюро Квантум, 2002. - 126 с. - (Приложение к журналу "Квант" ; № 5/2002). - ISBN 5-85843-040-6.

   Логика и компьютер / Российская академия наук. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
   [Вып.] 2 : Логические языки, содержательные рассуждения и методы поиска доказательств : сборник статей / отв. ред. Смирнов В. А. - 1995. - 129 с. - Библиогр. в конце кн. - ISBN 5-02-006896-9.

   Логика и компьютер / Российская академия наук. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
   [Вып.] 3 : Доказательство и его поиск. (Курс логики и компьютерный практикум) : монография / Смирнов В. А., Новодворский А. Е., Смирнов А. В. ; отв. ред. Смирнов В. А. - 1996. - 254 с. + дискета. - ISBN 5-02-013603-4.

   Логика и компьютер / Российская академия наук. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
   [Вып.] 4 : Многозначные логики : монография / Карпенко А. С. ; отв. ред. Макаров И. М. - 1997. - 222 с. - Библиогр.: с. 180-213. - ISBN 5-02-013628-X.

   Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Алешина Н. А., Анисов А. М., Быстров П. И. [и др.] ; Российская академия наук ; авт. предисл. Макаров И. М. ; науч. ред. Смирнова Е. Д. - М. : Наука, 1990. - 238 с. - (Кибернетика: неограниченные возможности и возможные ограничения). - Библиогр.: с. 231-237. - ISBN 5-02-007156-0.

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

Макконнелл Дж.
   Анализ алгоритмов. Активный обучающий подход : учеб. пособие / Макконнелл Дж. ; пер. с англ. Кулешов С. А. ; ред. пер. Ландо С. К. - 3-е доп. изд. - М. : ТЕХНОСФЕРА, 2013. - 415 с. : ил. - (Мир программирования). - Библиогр.: с. 408-412. - ISBN 978-5-94836-216-8.

Макоха А. Н., Сахнюк П. А., Червяков Н. И.
   Дискретная математика : учеб. пособие для вузов / Макоха А. Н., Сахнюк П. А., Червяков Н. И. - М. : Физматлит, 2005. - 368 с. - Библиогр.: с. 366-368. - ISBN 5-9221-0630-9.

Мальцев А. И., Мальцев И. А.
   Итеративные алгебры Поста : [монография] / Мальцев А. И., Мальцев И. А. ; РАН, РАН. СО. Ин-т математики им. С. Л. Соболева. - 2-е изд., доп. - М. : Наука, 2012. - 198 с. - Библиогр.: с. 160-193. - ISBN 978-5-02-037994-7.