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