Zermelo Theorem and Axiom of Choice (1989)

by Grzegorz Bancerek
Venue:Journal of Formalized Mathematics
Citations:39 - 21 self