Logics for databases and information systems by Gunter Saake | Menrva Books | MenrvaBooks