Logic and Structure - Dalen (Springer London, 2013)