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

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

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

Колмогоров А. Н., Драгалин А. Г.
   Математическая логика : учеб. пособие для вузов / Колмогоров А. Н., Драгалин А. Г. ; МГУ им. М. В. Ломоносова. - 3-е изд., стер. - М. : КомКнига, 2006. - 238 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-484-00520-5.

Ершов Ю. Л., Палютин Е. А.
   Математическая логика : учеб. пособие / Ершов Ю. Л., Палютин Е. А. - 5-е изд., стер. - СПб. : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - ISBN 5-8114-0533-2.

Новак В., Перфильева И., Мочкорж И.
   Математические принципы нечеткой логики : пер. с англ. / Новак В., Перфильева И., Мочкорж И. ; ред. пер. Аверкин А. Н. - М. : Физматлит, 2006. - 347 с. - Библиогр.: с. 335-343. - ISBN 5-9221-0399-7.

Лавров И. А.
   Математическая логика : учеб. пособие для вузов / Лавров И. А. ; ред. Максимова Л. Л. - М. : Академия, 2006. - 239 с. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.: с. 230. - ISBN 5-7695-2735-8.

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

Тимофеева И. Л.
   Математическая логика. Курс лекций : учебное пособие для вузов / Тимофеева И. Л. - 2-е изд., перераб. - М. : Университет, 2007. - 302 с. - Библиогр.: с. 294. - ISBN 978-5-98227-307-9.

Титов А. В., Калинкин А. В.
   Математическая логика. Нечеткие множества и формальные системы : метод. указания к решению типовых задач / Титов А. В., Калинкин А. В. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2008. - 29 с. : ил. - Библиогр.: с. 29.

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