An application of logic to algebra - Hintikka, K. Jaakko (MATHEMATICA SCANDINAVICA, 1954)