Logic for Programming, Artificial Intelligence, and Reasoning - Miki Hermann - Häftad | Bokus