John J. Thurber

Recursive and r.e. quotient Boolean algebras

John J. Thurber, J. Thurber, 1994, Arch. Math. Log..