The Journal of Symbolic Logic aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
Corrigendum to “Strong normalization proof with CPS-translation for second order classical natural deduction”
Koji Nakazawa, et al. (2003)