Hintikka KJ. An application of logic to algebra. Math. Scand. 1954;2:242-245. doi:10.7146/math.scand.a-10411