Logic in databases by Carlo Zaniolo | Menrva Books | MenrvaBooks