Abstract set theory - Skolem, Thoralf A (Notre Dame mathematical lectures, 8, 1962)