On Bourbaki's axiomatic system for set theory

2014

Maribel Anacona, F. J. Pérez-Fernández

Synthese 191 (17)