Some Results Concerning a General Set Theoretical Approach to Logic. Anton Jensen — 1965 Mathematica Scandinavica