Elementary Logic - Lover, Robert (Springer London, 2008)