The language of first-order logic: Including the Microsoft Windows program Tarski's World 4, 1992. ,
Computers, visualization, and the nature of reasoning, 1998. ,
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
Revisiting mathematics education: China lectures, 1991. ,
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
Logica, taal en betekenis 1: Inleiding in de logica. [Logic, language and meaning 1: Introduction into logic], 1982. ,
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
Logic and Conversation, Syntax and semantics, pp.41-58, 1975. ,
Mental Models, Foundations of cognitive science, pp.469-499, 1989. ,
URL : https://hal.archives-ouvertes.fr/hal-00702919
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
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
Teaching reasoning, Science, vol.238, issue.4827, 1987. ,
DOI : 10.1126/science.3672116
Epistémologie génétique. [Genetic epistemology], 1970. ,
Implications of psychological research on student learning and college teaching for teacher education, Handbook of research on teacher education, pp.826-857, 1990. ,
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
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
Reasoning, New horizons in psychology, 1966. ,
ThinkerTools: Causal Models, Conceptual Change, and Science Education, Cognition and Instruction, vol.11, issue.1, 1993. ,
DOI : 10.1037//0003-066X.41.10.1123