51 Л656 Лихтарников, Леонид Моисеевич. Математическая логика : Курс лекций. Задачник-практикум. Решения: учеб. пособие для вузов / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 3-е, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 339.22 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы -- учебные пособия Доп.точки доступа: Сукачева, Тамара Геннадьевна --- Экземпляры всего: 5 Mесто хранения: чз (2), зал ППС (1), аб (2) Свободны: чз (2), зал ППС (1), аб (2) |
51 Л656 Лихтарников, Леонид Моисеевич. Математическая логика. Курс лекций. Задачник-практикум и решения : Учеб. пособие [для вузов] / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 4-е, стер. - СПб. : Лань, 2009. - 276 с. : ил. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 353.10 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- алгебра логики -- исчисление высказываний -- логика предметов -- математические теории -- алгоритмы -- практикумы -- курсы лекций -- учебные пособия Доп.точки доступа: Сукачева, Тамара Геннадьевна --- Экземпляры всего: 2 Mесто хранения: аб (2) Свободны: аб (1) |
57 М545 Методы современной биометрии : научное издание / Моск. о-во испытателей природы. - Москва : Издательство МГУ, 1978. - 208 с. : 1.80. - 1.80 р. ГРНТИ 34 УДК:57.08 Ключевые слова: Биометрия -- История биометрии -- Биометрические методы -- Математические теории -- Биологическая практика Доп.точки доступа: Московское общество испытателей природы Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |