The well ordering relations (1989)

by Grzegorz Bancerek
Venue:Journal of Formalized Mathematics