TY - JOUR AU - P. E. Alaev TI - Categoricity for primitive recursive and polynomial Boolean algebras JO - Algebra i logika PY - 2018 SP - 389 EP - 425 VL - 57 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2018_57_4_a0/ LA - ru ID - AL_2018_57_4_a0 ER -