Hintikka, K. J. (1954) “An application of logic to algebra”, MATHEMATICA SCANDINAVICA, 2, pp. 242–245. doi: 10.7146/math.scand.a-10411.