and Andrzej Trybulec. On same equivalents of well-foundedness (1997)

by Piotr Rudnicki
Venue:Journal of Formalized Mathematics