DECIDABILITY OF FIRST ORDER LOGIC OF BOOLEAN ALGEBRAS - LIM JIN XING (2021)
Bachelor's