Selected works in logic - Skolem, Thoralf A. 1887-1967 (Universitetsforlaget, 1970)