Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches.
Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content.
Contact customer_support@projecteuclid.org with any questions.
View Project Euclid Privacy Policy
October 1992Correction: ``Forty years of `unnatural' natural deduction and quantification: a history of first-order systems of natural deduction from Gentzen to Copi''
Irving H. Anellis "Correction: ``Forty years of `unnatural' natural deduction and quantification: a history of first-order systems of natural deduction from Gentzen to Copi''," Modern Logic, Mod. Log. 3(1), 98, (October 1992)