Model theory and the philosophy of mathematical practice : formalization without foundationalism / John T. Baldwin

(University of Illinois, Chicago)