R. Nederpelt Logical Reasoning: A First Course