Selected works in logic. - Skolem, Th. (Thoralf) 1887-1963 (Scandinavian university books., 1970)