1. [1] Grzegorz Bancerek. König’s theorem. Formalized Mathematics, 1(3):589–593, 1990.
2. [2] Grzegorz Bancerek. On powers of cardinals. Formalized Mathematics, 3(1):89–93, 1992.
3. [3] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.
4. [4] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.
5. [5] Czesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507–513, 1990.