Declarative Logic Programming - Michael Kifer - Inbunden | Bokus