Logic for Programming, Artificial Intelligence, and Reasoning Nachum Dershowitz, Andrei Voronkov 456,60 DKK See product
