J. Barwise and J. Etchemendy, The language of first-order logic: Including the Microsoft Windows program Tarski's World 4, 1992.

J. Barwise and . J. Etchemendy, Computers, visualization, and the nature of reasoning, 1998.

P. W. Cheng, K. J. Holyoak, R. E. Nisbett, and L. M. Oliver, Pragmatic versus syntactic approaches to training deductive reasoning, Cognitive Psychology, vol.18, issue.3, pp.293-328, 1986.
DOI : 10.1016/0010-0285(86)90002-2

H. Freudenthal, Revisiting mathematics education: China lectures, 1991.

P. Fung, T. O-'shea, D. Goldson, S. Reeves, and R. Bornat, Why computer science students find formal reasoning frightening, Journal of Computer Assisted Learning, vol.24, issue.5, pp.240-250, 1994.
DOI : 10.1016/0743-1066(88)90001-5

L. T. Gamut, Logica, taal en betekenis 1: Inleiding in de logica. [Logic, language and meaning 1: Introduction into logic], 1982.

D. Goldson, S. Reeves, and R. Bornat, A Review of Several Programs for the Teaching of Logic, The Computer Journal, vol.36, issue.4, pp.373-386, 1993.
DOI : 10.1093/comjnl/36.4.373

H. P. Grice, Logic and Conversation, Syntax and semantics, pp.41-58, 1975.

P. N. Johnson-laird, Mental Models, Foundations of cognitive science, pp.469-499, 1989.
URL : https://hal.archives-ouvertes.fr/hal-00702919

P. N. Johnson-laird and P. C. Wason, A theoretical analysis of insight into a reasoning task, Cognitive Psychology, vol.1, issue.2, pp.134-148, 1970.
DOI : 10.1016/0010-0285(70)90009-5

D. R. Lehman and R. E. Nisbett, A longitudinal study of the effects of undergraduate training on reasoning., Developmental Psychology, vol.26, issue.6, pp.952-960, 1990.
DOI : 10.1037/0012-1649.26.6.952

R. E. Nisbett, G. T. Fong, D. R. Lehman, and P. W. Cheng, Teaching reasoning, Science, vol.238, issue.4827, 1987.
DOI : 10.1126/science.3672116

J. Piaget, Epistémologie génétique. [Genetic epistemology], 1970.

P. R. Pintrich, Implications of psychological research on student learning and college teaching for teacher education, Handbook of research on teacher education, pp.826-857, 1990.

K. Stenning, R. Cox, and J. Oberlander, Contrasting the cognitive effects of graphical and sentential logic teaching: Reasoning, representation and individual differences, Language and Cognitive Processes, vol.93, issue.3-4, pp.333-354, 1995.
DOI : 10.1007/BF00116354

J. Van-der-pal and T. Eysink, Balancing situativity and formality: the importance of relating a formal language to interactive graphics in logic instruction, Learning and Instruction, vol.9, issue.4, pp.327-341, 1999.
DOI : 10.1016/S0959-4752(98)00050-4

URL : https://hal.archives-ouvertes.fr/hal-00197363

P. C. Wason, Reasoning, New horizons in psychology, 1966.

B. Y. White, ThinkerTools: Causal Models, Conceptual Change, and Science Education, Cognition and Instruction, vol.11, issue.1, 1993.
DOI : 10.1037//0003-066X.41.10.1123