On Distinguishing Proof-Theoretic Consequence from Derivability

MLA

Francez, Nissim. “On Distinguishing Proof-Theoretic Consequence from Derivability.” Logique et Analyse, vol. 238, no. 0, June 2017, pp. 151–66. EBSCOhost, https://doi.org/10.2143/LEA.238.0.3212070.

APA

Francez, N. (2017). On Distinguishing Proof-Theoretic Consequence from Derivability. Logique et Analyse, 238(0), 151–166. https://doi.org/10.2143/LEA.238.0.3212070

Chicago

Francez, Nissim. 2017. “On Distinguishing Proof-Theoretic Consequence from Derivability.” Logique et Analyse 238 (0): 151–66. doi:10.2143/LEA.238.0.3212070.