Author: Th (Thoralf) 1887-1963 Skolem