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

Гиндикин С. Г.
   Рассказы о физиках и математиках / Гиндикин С. Г. - 4-е изд., испр. - Москва : МЦНМО, 2006. - 464 с. : ил. - ISBN 5-94057-251-0.

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

   Основы информатики и математики для юристов : учебное пособие / Беляева Т. М., Важнов С. А., Вешняков В. В. [и др.] ; Московская государственная юридическая академия ; ред. Элькин В. Д. - 2-е изд., испр. и доп. - Москва : Элит, 2007. - 367 с. : ил. - Библиогр.: с.361. - ISBN 5-902404-64-9.

Казиев В. М.
   Введение в математику и информатику : учеб. пособие / Казиев В. М. - Москва : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2007. - 300 с. - (Основы информационных технологий). - Библиогр. в конце частей. - ISBN 978-5-94774-678-5. - ISBN 978-5-9556-0105-2.

Институт математики и механики.
   Труды / РАН. Уральское отделение. - Екатеринбург, 2007.
   Т. 13, № 2. - 2007. - 233 с. - Библиогр. в конце ст. - ISBN 5-7691-1885-7.

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

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

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