Mathematical interpretation of formal systems - Skolem, Th. (Thoralf), 1887-1963 (North-Holland, 1955)