Личный кабинет
75 записей
Кравченко В. Ф., Басараб М. А.
Булева алгебра и методы аппроксимации в краевых задачах электродинамики : [монография] / Кравченко В. Ф., Басараб М. А. ; ред. Кравченко В. Ф. - М. : Физматлит, 2004. - 307 с. : ил. - (Прикладная математика и информатика). - Библиогр.:с. 266-273 . - ISBN 5-94052-079-0 .
Булева алгебра и методы аппроксимации в краевых задачах электродинамики : [монография] / Кравченко В. Ф., Басараб М. А. ; ред. Кравченко В. Ф. - М. : Физматлит, 2004. - 307 с. : ил. - (Прикладная математика и информатика). - Библиогр.:
20 экз.
Кулешов В. А.
Аналогии : Отношение аналогии моделей / Кулешов В. А. - Минск : Навука i тэхнiка, 1992. - 415 с. - Библиогр.Библиогр.: с. 408-411с . - 32р. 80к.
Аналогии : Отношение аналогии моделей / Кулешов В. А. - Минск : Навука i тэхнiка, 1992. - 415 с. - Библиогр.
1 экз.
Лавров И. А.
Математическая логика : учеб. пособие для вузов / Лавров И. А. ; ред. Максимова Л. Л. - М. : Академия, 2006. - 239 с. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.:с. 230 . - ISBN 5-7695-2735-8 .
Математическая логика : учеб. пособие для вузов / Лавров И. А. ; ред. Максимова Л. Л. - М. : Академия, 2006. - 239 с. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.:
6 экз.
Лексаченко В. А.
Логика. Множества. Вероятность / Лексаченко В. А. - М. : Вузовская книга, 2001. - 128 с. : рис. - Библиогр.:с. 126 . - ISBN 5-89522-134-3 .
Логика. Множества. Вероятность / Лексаченко В. А. - М. : Вузовская книга, 2001. - 128 с. : рис. - Библиогр.:
2 экз.
Линдон Р.
Заметки по логике / Линдон Р. ; пер. с англ. Гастев Ю. А. ; ред. пер. Яглом И. М. - М. : Мир, 1968. - 127 с. - (Современная математика). - Библиогр.:с. 123 .
Заметки по логике / Линдон Р. ; пер. с англ. Гастев Ю. А. ; ред. пер. Яглом И. М. - М. : Мир, 1968. - 127 с. - (Современная математика). - Библиогр.:
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 с. - (Учебники для вузов. Специальная литература). - Библиогр.:
28 экз.
Лихтарников Л. М., Сукачева Т. Г.
Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 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 экз.
