Logic and Structure - van Dalen, Dirk (Dordrecht Springer London, 2013)