Correction: ``Forty years of `unnatural' natural deduction and quantification: a history of first-order systems of natural deduction from Gentzen to Copi''
Anellis, Irving H.
Mod. Log., Tome 2 (1992) no. 3, / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1992-10-15
Classification:  03-03,  01A60,  03A05,  03B10 
@article{1204900248,
     author = {Anellis, Irving H.},
     title = {Correction: ``Forty years of `unnatural' natural deduction and quantification: a
 history of first-order systems of natural deduction from Gentzen to Copi''},
     journal = {Mod. Log.},
     volume = {2},
     number = {3},
     year = {1992},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1204900248}
}

Anellis, Irving H. Correction: ``Forty years of `unnatural' natural deduction and quantification: a
 history of first-order systems of natural deduction from Gentzen to Copi''. Mod. Log., Tome 2 (1992) no. 3, . http://gdmltest.u-ga.fr/item/1204900248/