A proof of E. H. Moore's equivalence.

From MaRDI portal
Publication:563101