William K. Tomhave
Presentations:
641
Logic Puzzles: A Friendly Path to Deductive Reasoning and Proof