Logical Foundations for Mathematics