Mathematics and Logic