When did the mathematical logic started?