Computable Boolean Algebras
β
Julia F. Knight and Michael Stob
π
Article
π
2000
π
Association for Symbolic Logic
π
English
β 406 KB