Logic and Foundations of Mathematics by