@article{ESCARD__2017,
    doi = {10.1017/jsl.2017.8},
    url = {https://doi.org/10.1017%2Fjsl.2017.8},
    year = {2017},
    month = {jun},
    publisher = {Cambridge University Press ({CUP})},
    volume = {82},
    number = {2},
    pages = {590--607},
    author = {MART{\'{I}}N ESCARD{\'{O}} and PAULO OLIVA},
    title = {{THE} {HERBRAND} {FUNCTIONAL} {INTERPRETATION} {OF} {THE} {DOUBLE} {NEGATION} {SHIFT}},
    journal = {The Journal of Symbolic Logic}
}

@article{ESCARD__2017, doi = {10.1017/jsl.2017.8}, url = {https://doi.org/10.1017%2Fjsl.2017.8}, year = {2017}, month = {jun}, publisher = {Cambridge University Press ({CUP})}, volume = {82}, number = {2}, pages = {590--607}, author = {MART{\'{I}}N ESCARD{\'{O}} and PAULO OLIVA}, title = {{THE} {HERBRAND} {FUNCTIONAL} {INTERPRETATION} {OF} {THE} {DOUBLE} {NEGATION} {SHIFT}}, journal = {The Journal of Symbolic Logic} }