Carnielli, Walter A.
概要
| 作品: | 4 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Methods and applications of mathematical logic : = proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
by:
Alcantara, Luiz Paulo de, (1944-); Carnielli, Walter A.; Association for Symbolic Logic.; Sociedade Brasileira de Logica.; Sociedade Brasileira de Matematica.; Latin-American Symposium on Mathematical Logic (1985 :)
(書目-語言資料,印刷品)
Advances in contemporary logic and computer science : = proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil /
by:
Carnielli, Walter A.; D'Ottaviano, Itala M. L., (1944-); Brazilian Conference on Mathematical Logic (1996 :)
(書目-語言資料,印刷品)