Logic and Discrete MathematicsWillem Conradie, Valentin Goranko, Claudette RobinsonHäftad, 2015299 kr