Logical reasoning : a first course - Nederpelt, Rob (Texts in computing, 2011)