English Beginner Model Theory and the Philosophy of Mathematical Practice: Formalization without Foundationalism John T. Baldwin 2018 View book