Mathematical interpretation of formal systems - Skolem, T. H. (North-Holland, 1955)