Logic an Introduction - RESTALL, Greg. (London Rautledge, 2006)