TY - GEN T1 - Decidability and Boolean representations / AU - Burris, Stanley, AU - McKenzie, Ralph, VL - number 246 CN - QA251 ID - 1364975 KW - Algebra, Universal. KW - Decidability (Mathematical logic) KW - Algebraic varieties. KW - Modular lattices. KW - Representations of algebras. SN - 9781470406530 (e-book) TI - Decidability and Boolean representations / LK - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113561 UR - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113561 ER -