Reeves and Richard Bornat, A Review of Several Programs for the Teaching of Logic, The (1993)

by Douglas Goldson, Steve
Venue:Computer Journal