Shapiro, 2005. Logical Consequence, Proof Theory, and Model Theory, in: . Oxford University Press.. https://doi.org/10.1093/0195148770.003.0021