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