Bimbo, Katalin. 2020. “John T. Baldwin, "Model Theory and the Philosophy of Mathematical Practice: Formalization Without Foundationalism."”. Philosophy in Review 40 (1). British Columbia, Canada, 1-3. https://doi.org/10.7202/1068146ar.