Mathematical interpretation of formal systems - Skolem, Thoralf A. 1887-1967 (Studies in logic and the foundations of mathematics, 1971)