TY - JOUR AU - Ю.В. Голунков AU - А.А. Савельев TI - О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств JO - Veroâtnostnye metody i kibernetika PY - 1987 SP - 58 EP - 81 VL - 23 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VMK_1987__23_69270/ LA - ru ID - VMK_1987__23_69270 ER -