Declarative Logic Programming - Michael Kifer - Häftad | Bokus