Mathematics and Its Logics