Logic and Foundations of Mathematics