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.
No references recorded for this publication.
No citations of this publication recorded.