Вид документа : Однотомное издание Шифр издания : 214934 51.01(075)/Е 804 Автор(ы) : Ершов, Юрий Леонидович, Палютин, Евгений Андреевич Заглавие : Математическая логика : учеб. пособие . -3-е изд., стер. Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2004 Колич.характеристики :336 с Серия: Учебники для вузов. Специальная литература Примечания : Предм. указ.: с. 335-336 ISBN (в пер.), Цена 5-8114-0533-2: 225.00 р. УДК : 510.6(075.8) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--доказательств теория--исчисления высказываний--исчисления предикатов--алгоритмов теория Экземпляры :ОХФ(1) Свободны : ОХФ(1) Доп. точки доступа: Палютин, Евгений Андреевич |