Mathematical Logic in the Former Soviet Union: Brief History and Current Trends