Б 59 Бизам, Дьердь. Многоцветная логика [Текст] : 175 логических задач / Д. Бизам, Я. Герцег ; [перевод с венгерского Ю. А. Данилова]. - Москва : Мир, 1978. - 435 с. : ил. ; 20 см. - (В пер.) : 1.50 р. Рубрики: Математическая логика--Естественные науки--Россия Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЗАНИМАТЕЛЬНАЯ МАТЕМАТИКА -- МАТЕМАТИКА ЗАНИМАТЕЛЬНАЯ -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ЛОГИЧЕСКИЕ ЗАДАЧИ -- ЗАДАЧИ ЛОГИЧЕСКИЕ -- МАТЕМАТИКА -- МАТЕМАТИЧЕСКИЕ ЗАДАЧИ -- ЗАНИМАТЕЛЬНЫЕ ЗАДАЧИ Аннотация: Книга венгерских математиков продолжает серию книг по занимательной математике. Она посвящена началам математической логики и содержит 175 логических задач. Пользуясь элементарными средствами, авторы в увлекательной форме учат читателя умению последовательно мыслить. Доп.точки доступа: Герцег, Янош; Данилов, Ю. А. \пер.\; Бисенгалиев, А. Г. \худож.\ ~Экземпляры всего: 1 АБ (1) Свободны: АБ (1) |
К 33 Кейслер, Г. Теория моделей [Текст] / Г. Кейслер, Ч. Ч. Чэн ; редактор: Ю. Л. Ершов, А. Д. Тайманов ; перевод с английского: С. С. Гончаров [и др.]. - Москва : Мир, 1977. - 614 с. ; 20 см. - Библиография: с. 592-604. - Пер. изд. : Model Theory / C. C. Chang, H. J. Keisler. - Amsterdam, 1973. - (в пер.) : 15.00 р. Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Кл.слова (ненормированные): ЛОГИКА МАТЕМАТИЧЕСКАЯ -- ТЕОРИЯ МОДЕЛЕЙ (АЛГЕБРА) Доп.точки доступа: Чэн, Ч. Ч.; Ершов, Ю. Л. \ред.\; Тайманов, А. Д. \ред.\; Гончаров, С. С. \пер.\; Денисов, С. Д. \пер.\; Душский, В. А. \пер.\; Свириденко, Д. И. \пер.\; Chang, C. C.; Keisler, H. J. ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |