語系
Pereira, Luiz Carlos.
概要
作品: | 9 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Advances in natural deductiona celebration in Dag Prawitz's work /
by:
Haeusler, Edward Hermann.; Pereira, Luiz Carlos.; SpringerLink (Online service); de Paiva, Valeria.
(書目-電子資源)