Model theory and the philosophy of mathematical practice formalization without foundationalism - Baldwin, John T. 1944- (Cambridge University Press, 2018)
Keywords: Modelltheorie; Formalisierung; Logik; Model theory; Model theory / Philosophy; Logic, Symbolic and mathematical