A Set Theory Based on a Certain 3-Valued Logic. - Skolem, Th. (MATHEMATICA SCANDINAVICA, 1960)