339 записей
Линдон Р.
Заметки по логике / Линдон Р. ; пер. с англ. Гастев Ю. А. ; ред. пер. Яглом И. М. - М. : Мир, 1968. - 127 с. - (Современная математика). - Библиогр.:с. 123 .
Заметки по логике / Линдон Р. ; пер. с англ. Гастев Ю. А. ; ред. пер. Яглом И. М. - М. : Мир, 1968. - 127 с. - (Современная математика). - Библиогр.:
3 экз.
Статья
Лисин В. Н., Петров В. Я., Федоров Б. С.
Итерационный метод статистического моделирования / Лисин В. Н., Петров В. Я., Федоров Б. С. // Вычислительная техника : сборник статей / МВТУ им. Н. Э. Баумана. - 1977. - Вып. 3 / ред. Петров А. В. -С. 49-55 .
Итерационный метод статистического моделирования / Лисин В. Н., Петров В. Я., Федоров Б. С. // Вычислительная техника : сборник статей / МВТУ им. Н. Э. Баумана. - 1977. - Вып. 3 / ред. Петров А. В. -
Лихтарников Л. М., Сукачева Т. Г.
Математическая логика. Курс лекций. Задачник-практикум и решения : учебное пособие для вузов / Лихтарников Л. М., Сукачева Т. Г. - СПб. : Лань, 1998. - 285 с. : ил. - Библиогр.:с. 282 . - ISBN 5-8114-0082-9 .
Математическая логика. Курс лекций. Задачник-практикум и решения : учебное пособие для вузов / Лихтарников Л. М., Сукачева Т. Г. - СПб. : Лань, 1998. - 285 с. : ил. - Библиогр.:
1 экз.
Лихтарников Л. М., Сукачева Т. Г.
Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 3-е изд, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.:с. 273 . - ISBN 978-5-8114-0082-9 .
Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 3-е изд, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.:
26 экз.
Лихтарников Л. М., Сукачева Т. Г.
Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 4-е изд., стер. - СПб. : Лань, 2009. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.:с. 273 . - ISBN 978-5-8114-0082-9 .
Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 4-е изд., стер. - СПб. : Лань, 2009. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.:
3 экз.
Логика и комбинаторика / сост. Егоров А. А. - М. : Бюро Квантум, 2002. - 126 с. - (Приложение к журналу "Квант" ; № 5/2002). - ISBN 5-85843-040-6 .
1 экз.
Логика и компьютер / Российская академия наук. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
[Вып.] 2 : Логические языки, содержательные рассуждения и методы поиска доказательств : сборник статей / отв. ред. Смирнов В. А. - 1995. - 129 с. - Библиогр.в конце кн. - ISBN 5-02-006896-9 .
[Вып.] 2 : Логические языки, содержательные рассуждения и методы поиска доказательств : сборник статей / отв. ред. Смирнов В. А. - 1995. - 129 с. - Библиогр.
1 экз.
Логика и компьютер / Российская академия наук. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
[Вып.] 3 : Доказательство и его поиск. (Курс логики и компьютерный практикум) : монография / Смирнов В. А., Новодворский А. Е., Смирнов А. В. ; отв. ред. Смирнов В. А. - 1996. - 254 с. + дискета. -ISBN 5-02-013603-4 .
[Вып.] 3 : Доказательство и его поиск. (Курс логики и компьютерный практикум) : монография / Смирнов В. А., Новодворский А. Е., Смирнов А. В. ; отв. ред. Смирнов В. А. - 1996. - 254 с. + дискета. -
1 экз.
Логика и компьютер / Российская академия наук. - М. : Наука, 1995. - (Кибернетика: неограниченные возможности и возможные ограничения).
[Вып.] 4 : Многозначные логики : монография / Карпенко А. С. ; отв. ред. Макаров И. М. - 1997. - 222 с. - Библиогр.:с. 180-213 . - ISBN 5-02-013628-X .
[Вып.] 4 : Многозначные логики : монография / Карпенко А. С. ; отв. ред. Макаров И. М. - 1997. - 222 с. - Библиогр.:
2 экз.
Логика и компьютер. Моделирование рассуждений и проверка правильности программ / Алешина Н. А., Анисов А. М., Быстров П. И. [и др.] ; Российская академия наук ; науч. ред. Смирнова Е. Д. ; авт. предисл. Макаров И. М. - М. : Наука, 1990. - 238 с. - (Кибернетика: неограниченные возможности и возможные ограничения). - Библиогр.: с. 231-237 . - ISBN 5-02-007156-0 .
1 экз.
