QR code document
Палютин, Е. А.
Математическая логика : учеб. пособие для вузов / Е. А. Палютин, Ершов Ю.Л,. - 2-е изд., испр. и доп. - М. : Наука, 1987. - 336 с. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Классические исчисления -- Исчисление высказываний -- Исчисление предикатов с равенством -- Теория множеств -- Теория алгоритмов -- Теории и модели
Доп.точки доступа:
Ершов Ю.Л,