Logic Programming and Nonmonotonic Reasoning - Giorgio Terracina - E-bok | Bokus