Carnielli, Walter A.
Overview
| Works: | 4 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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 :)
(Language materials, printed)
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 :)
(Language materials, printed)