Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /
Brazilian Conference on Mathematical Logic(11th :1996 :Salvador, Brazil)
Carnielli, Walter A.(Walter Alexandre)
D'Ottaviano, Itala M. L.,1944-
American Mathematical Society.
Providence, R.I. : American Mathematical Society,
c1999.
Includes bibliographical references.
Computer logic
Logic, Symbolic and mathematical