Logic Programming and Nonmonotonic Reasoning - Georg Gottlob - Häftad | Bokus