TY  - JOUR
AU  - Rubin, Matatyahu
TI  - The theory of boolean algebras with a distinguished subalgebra is undecidable
JO  - Annales scientifiques de l'Université de Clermont. Mathématiques
PY  - 1976
SP  - 129
EP  - 134
VL  - 60
IS  - 13
PB  - UER de Sciences exactes et naturelles de l'Université de Clermont
UR  - http://archive.numdam.org/item/ASCFM_1976__60_13_129_0/
LA  - en
ID  - ASCFM_1976__60_13_129_0
ER  -