1. Barwise, J.: Admissible sets and structures. Berlin Heidelberg New York: Springe 1975
2. Givant, S., Tarski, A.: Peano arithmetic and the Zermelo-like theory of sets with finite ranks. Abstr. Am. Math. Soc. 77T-E51, 1977
3. Kleene, S.C.: Introduction to metamathematics. Amsterdam: North-Holland 1964
4. Sochor, A.: Metamathematics of the alternative set theory. I. Comment. Math. Univ. Carolinae20, 697?772 (1979)
5. Tarski, A.: Sur les ensembles finis. Fund. Math6, 45?95 (1924)