TY - RPRT TI - An instance of Vaught's conjecture using algebraic logic AU - Mohammed Assem AU - Tarek Sayed Ahmed PY - 2013 UR - https://arxiv.org/abs/1304.0883 ID - 1304.0883 ER -