TY - BOOK AU - Burris Stanley AU - McKenzie Ralph TI - Decidability and Boolean representations U1 - 510 PY - 1981/// CY - N Y PB - AMS KW - Boolean representations KW - Mathematics ER -