Logic for Programming, Artificial Intelligence, and Reasoning - Nikolaj Bjørner - Häftad | Bokus