Model theory and the philosophy of mathematical practice formalization without foundationalism - Baldwin, John T. 1944- (Cambridge University Press, 2018)