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

Казиев В. М.
   Введение в математику и информатику : учеб. пособие / Казиев В. М. - Москва : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 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.

Кудинов А. Т., Щепанский С. Б.
   Основы математики и информатики : учеб. пособие для юрид. вузов / Кудинов А. Т., Щепанский С. Б. ; Московская государственная юридическая академия. - Москва : Элит, 2007. - Авт. на тит. л. не указаны.
   Ч. 1. - 2007. - 223 с. - Библиогр.: с.221-222. - ISBN 978-5-902405-191.

Перельман Я. И.
   Занимательные науки / Перельман Я. И. - Москва : АСТ : Астрель : ХРАНИТЕЛЬ, 2007. - 587 с. : ил. - (Занимательная наука). - ISBN 978-5-17-046422-7. - ISBN 978-5-271-18151-1. - ISBN 978-5-9762-4548-8.

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