Languages
Pereira, Luiz Carlos.
Overview
Works: | 2 works in 2 publications in 1 languages |
---|
Titles
Advances in natural deduction : = a celebration in Dag Prawitz's work /
by:
Haeusler, Edward Hermann.; De Paiva, Valeria.; Pereira, Luiz Carlos.; Prawitz, Dag.
(Language materials, printed)
Advances in natural deduction = a celebration in Dag Prawitz's work /
by:
Haeusler, Edward Hermann.; de Paiva, Valeria.; SpringerLink (Online service); Pereira, Luiz Carlos.
(Language materials, printed)