Stewart Shapiro. Logical Consequence, Proof Theory, and Model Theory. In Stewart Shapiro, editor, The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford handbooks in philosophy, pages 651-670, Oxford University Press, 2007.
Abstract is missing.