Teaching freshman logic with mizar-mse (1996)

by H Hoover, P Rudnicki
Venue:In Workshop on Teaching Logic and Reasoning in an Illogical world