A Review of Several Programs for the Teaching of Logic

Doug Goldson, Steve Reeves, Richard Bornat. A Review of Several Programs for the Teaching of Logic. Comput. J., 36(4):373-386, 1993.

Authors

Doug Goldson

This author has not been identified. Look up 'Doug Goldson' in Google

Steve Reeves

Identified as Steve Reeves

Richard Bornat

This author has not been identified. Look up 'Richard Bornat' in Google