References
- [1] Grzegorz Bancerek. Cardinal numbers., 1(2):377–382, 1990.
- [2] Grzegorz Bancerek. Tarski’s classes and ranks., 1(3):563–567, 1990.
- [3] Grzegorz Bancerek. The fundamental properties of natural numbers., 1(1):41–46, 1990.
- [4] Grzegorz Bancerek. The ordinal numbers., 1(1):91–96, 1990.
- [5] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences., 1(1):107–114, 1990.
- [6] Grzegorz Bancerek and Andrzej Trybulec. Miscellaneous facts about functions., 5(4):485–492, 1996.
- [7] Czesław Byliński. The complex numbers., 1(3):507–513, 1990.
- [8] Czesław Byliński. Finite sequences and tuples of elements of a non-empty sets., 1(3):529–536, 1990.
- [9] Czesław Byliński. Functions and their basic properties., 1(1):55–65, 1990.
- [10] Czesław Byliński. The sum and product of finite sequences of real numbers., 1(4):661–668, 1990.
- [11] Czesław Byliński. Some basic properties of sets., 1(1):47–53, 1990.
- [12] Agata Darmochwał. Finite sets., 1(1):165–167, 1990.
- [13] Fuguo Ge and Xiquan Liang. On the partial product of series and related basic inequalities., 13(3):413–416, 2005.
- [14] Andrzej Kondracki. Basic properties of rational numbers., 1(5):841–845, 1990.
- [15] Artur Korniłowicz. On the real valued functions., 13(1):181–187, 2005.
- [16] Jarosław Kotowicz. Functions and finite sequences of real numbers., 3(2):275–278, 1992.
- [17] Rafał Kwiatek. Factorial and Newton coefficients., 1(5):887–890, 1990.
- [18] Benjamin Porter. Cauchy’s mean theorem and the Cauchy-Schwarz inequality., March 2006. ISSN 2150-914x. http://afp.sf.net/entries/Cauchy. shtml, Formal proof development.
- [19] Konrad Raczkowski and Andrzej Nędzusiak. Real exponents and logarithms., 2(2):213–216, 1991.
- [20] Andrzej Trybulec. Binary operations applied to functions., 1(2):329–334, 1990.
- [21] Andrzej Trybulec. On the sets inhabited by numbers., 11(4):341–347, 2003.
- [22] Andrzej Trybulec and Czesław Byliński. Some properties of real numbers., 1(3):445–449, 1990.
- [23] Michał J. Trybulec. Integers., 1(3):501–505, 1990.
- [24] Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences., 1(3):569–573, 1990.
- [25] Zinaida Trybulec. Properties of subsets., 1(1):67–71, 1990.
- [26] Edmund Woronowicz. Relations and their basic properties., 1(1):73–83, 1990.
Language: English
Page range: 157 - 166
Submitted on: Jun 13, 2014
Published on: Jun 30, 2014
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
© 2014 Adam Grabowski, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.