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