Logical Consequence, Proof Theory, and Model Theory

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

Abstract is missing.