4 ms·On Theories with a Combinatorial Definition of “Equivalence” (1941) [pdf]11 points by haskellandchill 4y ago