Model theory and the philosophy of mathematical practice - Baldwin, John T (Cambridge university press, 2018)