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