Rips, L. J. The psychology of proof: Deductive reasoning in human thinking - Cambridge; Massachusetts MIT Press 1994 - xiii, 449p. ISBN: 0-262-18153-3