Luiz Carlos Pereira (pereira-lc)
Mentioned on the following portal pages
Il disaccordo in logicaContributions to Philosophie.ch
No contributions yet
Bibliography
Hauesler, Edward Hermann and Pereira, Luiz Carlos. 1996. “Gentzen’s Second Consistency Proof and Strong Cut-Elimination.” Logique et Analyse 39(153–154): 95–111.
Pereira, Luiz Carlos, Hausler, Edward Hermann and Paiva, Valeria de, eds. 2004. Advances in Natural Deduction. A Celebration of Dag Prawitz’s Work. Trends in Logic n. 39–54. Dordrecht: Springer.