1. Byliński, C.: The Complex Numbers. Formalized Mathematics 1(3), 507–513 (1990)
2. Bancerek, G.: On the Structure of Mizar Types. In: Geuvers, H., Kamareddine, F. (eds.) Proc. of MLC 2003. ENTCS, vol. 85(7) (2003)
3. Davies, M.: Obvious Logical Inferences. In: Proceedings of the 7th International Joint Conference on Artificial Intelligence, pp. 530–531 (1981)
4. de Bruijn, N.G.: The Mathematical Vernacular, a language for mathematics with typed sets. In: Dybjer, P., et al. (eds.) Proc. of the Workshop on Programming Languages, Marstrand, Sweden (1987)
5. Jaśkowski, S.: On the Rules of Suppositon in Formal Logic. In: Studia Logica, vol. 1 (1934)