T. Skolem, “A Set Theory Based on a Certain 3-Valued Logic”., Math. Scand., vol. 8, pp. 127–136, Dec. 1960, doi: 10.7146/math.scand.a-10600.