Authors: FUNG P OSHEA T GOLDSON D REEVES S BORNAT R

Citation: P. Fung et al., COMPUTER TOOLS TO TEACH FORMAL REASONING, Computers and education, 27(1), 1996, pp. 59-69

Authors: FUNG P OSHEA T GOLDSON D REEVES S BORNAT R

Citation: P. Fung et al., WHY COMPUTER-SCIENCE STUDENTS FIND FORMAL REASONING FRIGHTENING, Journal of computer assisted learning, 10(4), 1994, pp. 240-250

Authors: GOLDSON D REEVES S

Citation: D. Goldson et S. Reeves, THE LANGUAGE OF FIRST-ORDER LOGIC - INCLUDING THE MACINTOSH-PROGRAM 'TARSKIS WORLD' - BARWISE,J, ETCHEMENDY,J, EDITORS, Philosophical quarterly, 44(175), 1994, pp. 272-275

Authors: GOLDSON D

Citation: D. Goldson, A SYMBOLIC CALCULATOR FOR NONSTRICT FUNCTIONAL PROGRAMS, Computer journal, 37(3), 1994, pp. 177-187

Authors: GOLDSON D REEVES S BORNAT R

Citation: D. Goldson et al., A REVIEW OF SEVERAL PROGRAMS FOR THE TEACHING OF LOGIC, Computer journal, 36(4), 1993, pp. 373-386