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

   Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Алешина Н. А., Анисов А. М., Быстров П. И. [и др.] ; РАН ; науч. ред. Смирнова Е. Д. ; авт. предисл. Макаров И. М. - Москва : Наука, 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.