An application of logic to algebra - Hintikka, K. Jaakko (Mathematica Scandinavica, 1954)