Relational calculus in algebra and logic

Date: