ELEMENTARY LOGIC - LOVER, R (SPRINGER, 2008)