Antifoundation and transitive closure in the system of Zermelo (1999)

by O Esser, R Hinnion
Venue:Notre Dame Journal of Formal Logic