A966098-ОХФ, A966099-ОХФ-ЧЗ-4, A966100-ОХФ-ЧЗ-4 Ершов, Юрий Леонидович. Математическая логика [Текст] : учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. - 5-е изд., стер. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2005. - 336 с. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 335-336. - ISBN 5-8114-0533-2 : 190.43 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- множеств теория -- доказательств теория -- исчисления высказываний -- исчисления предикатов -- алгоритмов теория Доп. точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 3 ОХФ (1), ОХФ-ЧЗ-4 (2) |