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

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

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

Успенский В. А., Верещагин Н. К., Плиско В. Е.
   Вводный курс математической логики / Успенский В. А., Верещагин Н. К., Плиско В. Е. - М. : Физматлит, 2007. - 125 с. - Библиогр.: с. 122. - Авт. на обл. не указаны. - ISBN 978-5-9221-0278-0.

Шапорев С. Д.
   Математическая логика. Курс лекций и практических занятий : учеб. пособие для вузов / Шапорев С. Д. - СПб. : БХВ-Петербург, 2007. - VI, 410 с. : ил. - (Учебное пособие). - Библиогр.: c. 405. - ISBN 978-5-94157-702-6.

Волгин Л. И., Левин В. И.
   Непрерывная логика. Теория и применения / Волгин Л. И., Левин В. И. ; Академия наук Эстонии. - Таллинн, 1990. - 210 с. : рис., табл. - Библиогр.: с. 189-204.

Ершов Ю. Л., Палютин Е. А.
   Математическая логика : учеб. пособие для вузов / Ершов Ю. Л., Палютин Е. А. - [6-е изд., испр.]. - М. : Физматлит, 2011. - 356 с. - ISBN 978-5-9221-1301-4.

Шиханович Ю. А.
   Логические и математические исчисления : учеб. пособие / Шиханович Ю. А. - М. : Научный мир, 2011. - 253 с. : ил. - Библиогр.: с. 235-236. - ISBN 978-5-91522-246-4.

Герн Б.
   Новое изложение логики, основанное на элементарных курсах математики и физики / Герн Б. - М. : Типография Г. Лисснер и А. Гешель, 1902. - Приложения к циркулярам по Московскому Учебному Округу издаваемые под редакцией Вл. Исаенкова.
   Ч. 1 : Логика дедуктивная. Логика математики. - 1902. - 76 с.

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

Мендельсон Э.
   Введение в математическую логику / Мендельсон Э. ; пер. с англ. Кабаков Ф. А. ; ред. пер. Адян С. И. - М., 1971. - 320 с. : ил. - Библиогр.: с. 296-309.