T. Skolem, “A Set Theory Based on a Certain 3-Valued Logic”., Math. Scand., vol. 8, pp. 127–136, Dec. 1960.