517 К 493 Клини, Стивен Коул. Математическая логика / С. К. Клини ; ред. Г. Е. Минц ; пер. Ю. А. Гастев. - Москва : Ком Книга, 2007. - 480 с. - ISBN 5-484-00802-6. - ISBN 978-5-484-00802-5 : 244.00 р., 244.00 р., 244 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- РАЗРЕШИМОСТЬ Доп.точки доступа: Минц, Г. Е. \ред.\; Гастев, Ю. А. \пер.\ Экземпляры всего: 3 Х (1), ЧЗЕ (1), АБУ (1) Свободны: Х (1), ЧЗЕ (1), АБУ (1) |
517 К 493 Клини, Стивен Коул. Математическая логика / пер. с англ. Ю. А. Гастева, под ред. Г. Е. Минца. - Москва : Мир, 1973. - 480 с. - Библиогр.: с. 451. - 2.50 р., 2.50 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ПРЕДИКАТОВ -- РАЗРЕШИМОСТЬ Доп.точки доступа: Минц, Г. Е. \ред.\; Гастев, Ю. А. \пер.\ Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |