Title: Schetnye bulevy algebry i razreshimostʹ
Subjects: Boolean Algebra, Decidability (Mathematical logic)