## Zermelo Theorem and Axiom of Choice (1989)

by
Grzegorz Bancerek

Venue: | Journal of Formalized Mathematics |

Citations: | 39 - 21 self |