TY  - JOUR
AU  - Burris, Stanley
AU  - Lawrence, John
TI  - Two Undecidability Results using Modified Boolean Powers
JO  - Canadian journal of mathematics
PY  - 1982
SP  - 500
EP  - 505
VL  - 34
IS  - 2
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1982-033-6/
DO  - 10.4153/CJM-1982-033-6
ID  - 10_4153_CJM_1982_033_6
ER  -