Baldwin, John T Model theory and the philosophy of mathematical practice Formilation without foundationalism - UK Cambridge 2018 ISBN: 9781107189218 Dewey Class. No.: 511.34 / BAL.M