Anna Zalewska

Bibliography

Zalewska, Anna. 1987. “The Application of MIZAR MSE in a Course in Logic.” in Initiatives in Logic, edited by Jan T. L. Srzednicki, pp. 234–239. Reason and Argument n. 2. Den Haag: Martinus Nijhoff Publishers.