Model theory and the philosophy of mathematical practice : formalization without foundationalism / John T. Baldwin (University of Illinois, Chicago). Cambridge : Cambridge University Press, 2019