Teaching Freshman Logic with Mizar-mse

@inproceedings{Hoover1996TeachingFL,
  title={Teaching Freshman Logic with Mizar-mse},
  author={H. James Hoover and Piotr Rudnicki},
  year={1996}
}

Topic