Mathematical interpretation of formel systems. - Skolem, Thoralf (North-Holland Publishing Company, 1955)