語系
Oliveira, Anjolina G. de.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
The functional interpretation of logical deduction
by:
Queiroz, Ruy J. G. B. de.; Gabbay, Dov M., (1945-); Oliveira, Anjolina G. de.; World Scientific (Firm)
(書目-語言資料,印刷品)
The functional interpretation of logical deduction /
by:
Gabbay, Dov M., (1945-); Oliveira, Anjolina G. de.; Queiroz, Ruy J. G. B. de.
(書目-語言資料,印刷品)