Recursive and r.e. quotient Boolean algebras (1994)

by J Thurber
Venue:Arch. Math. Logic