论文信息 - Teaching Freshman Logic with Mizar-mse - 字舞流文

Teaching Freshman Logic with Mizar-mse

Piotr Rudnicki | H James Hoover

[1] Fred B. Schneider,et al. A New Approach to Teaching Mathematics , 1994 .

[2] David Gries. Equational Logic as a Tool , 1995, AMAST.

[3] F. B. Fitch. Symbolic Logic, An Introduction , 1953 .

[4] Fred B. Schneider,et al. A Logical Approach to Discrete Math , 1993, Texts and Monographs in Computer Science.

[5] Lesław W. Szczerba. The Use of Mizar MSE in a Course in Foundations of Geometry , 1987 .

[6] Jaskowski,et al. Polish Logic 1920-1939. , 1969 .

[7] Anna Zalewska. An Application of Mizar MSE in a Course in Logic , 1987 .

[8] Andrzej Trybulec,et al. Computer Assisted Reasoning with MIZAR , 1985, IJCAI.