Vienna Circle and Logical Analysis of Relativity Theory