語系
Pereira, Luiz Carlos.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Advances in natural deduction : = a celebration in Dag Prawitz's work /
by:
Haeusler, Edward Hermann.; De Paiva, Valeria.; Pereira, Luiz Carlos.; Prawitz, Dag.
(書目-語言資料,印刷品)
Advances in natural deduction = a celebration in Dag Prawitz's work /
by:
Haeusler, Edward Hermann.; de Paiva, Valeria.; SpringerLink (Online service); Pereira, Luiz Carlos.
(書目-語言資料,印刷品)