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