The foundations of S. Leśniewski's set theory in a formalization of Jan Śleszyński
Kraków
Dokt. 2010/019