- E137
[073] If \((X,β€_ X)\) and \((Y,β€_ Y)\) are well ordered, show that \((Z,β€_ Z)\) is a well ordering.
EDB β 073
View
English
Authors:
"Mennucci , Andrea C. G."
.
Managing blob in: Multiple languages