Baldwin, John T.
Model theory and the philosophy of mathematical practice : formalization without foundationalism
Cambridge, United Kingdom : Cambridge University Press, 2018. xi, 352 p.
QA9.7 B37