On theories with a combinatorial definition of “equivalence (1942)

by M H A Newman
Venue:Ann of Math