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

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

Мышкис А. Д.
   Советские математики. Мои воспоминания / Мышкис А. Д. - М. : URSS : ЛКИ, 2007. - 300 с. - Библиогр.: с. 286-287. - ISBN 978-5-382-00084-8.

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