References
- [1] Grzegorz Bancerek. The ordinal numbers., 1(1):91–96, 1990.
- [2] Czesław Byliński. Functions and their basic properties., 1(1): 55–65, 1990.
- [3] Czesław Byliński. Functions from a set to a set., 1(1):153–164, 1990.
- [4] Czesław Byliński. Some basic properties of sets., 1(1):47–53, 1990.
- [5] Stanisława Kanas, Adam Lecko, and Mariusz Startek. Metric spaces., 1(3):607–610, 1990.
- [6] Julien Narboux. Mechanical theorem proving in Tarski’s geometry. In F. Botana and T. Recio, editors,, volume 4869, pages 139–156, 2007.
- [7] Wolfram Schwabhäuser, Wanda Szmielew, and Alfred Tarski.. Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1983.
- [8] Alfred Tarski and Steven Givant. Tarski’s system of geometry., 5(2):175–214, 1999.
- [9] Wojciech A. Trybulec. Axioms of incidence., 1(1):205–213, 1990.
- [10] Zinaida Trybulec. Properties of subsets., 1(1):67–71, 1990.
- [11] Edmund Woronowicz. Relations and their basic properties., 1 (1):73–83, 1990.
Language: English
Page range: 167 - 176
Published on: Jun 30, 2014
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
© 2014 William Richter, Adam Grabowski, Jesse Alama, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.