Translator Disclaimer
December 2003 Corrigendum to “Strong normalization proof with CPS-translation for second order classical natural deduction”
Koji Nakazawa, Makoto Tatsuta
J. Symbolic Logic 68(4): 1415-1416 (December 2003). DOI: 10.2178/jsl/1067620196
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
2 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.68 • No. 4 • December 2003
Back to Top