Logic and Data Bases

Bok av Hervé och Minker Gallaire