The Psychology of Proof Deductive Reasoning in Human Thinking - Rips, Lance J. (Bradford Book Massachusetts Institute of Technology Cambridge Mass., 1994)
bibliography:pp. 418-435 Εργαστηριο Θεμελιωσεων Επιστημης Υπολογιστων