A Beautiful Mind

The Psychology of Proof: Deductive Reasoning in Human Thinking