Formal logic - Jago, Mark (Philosophy insights, 2007)