Foundations of Logic and Mathematics by