Formalizing Set Theory as It Is Actually Used (2004)

by A Avron
Venue:In Proceedings of Mathematical Knowledge Management (MKM 2004