Login / Signup
Corrigendum to our paper: "A theorem on n-tuples which is equivalent to the well-ordering theorem".
Herman Rubin
Jean E. Rubin
Published in:
Notre Dame J. Formal Log. (1970)
Keyphrases
</>
digital topology
database
e learning
real time
computer vision
bayesian networks
interactive theorem proving