A computer-assisted instruction program for exercises on finding axioms. June 23 (1972)

by A Goldberg, P Supoes
Venue:Educational Studies in Mathematics