Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /

Bibliographic Details
Corporate Author:	Brazilian Conference on Mathematical Logic Salvador, Brazil
Other Authors:	Carnielli, Walter A. (Walter Alexandre), D'Ottaviano, Itala M. L., 1944-
Format:	Conference Proceeding Book
Language:	English
Published:	Providence, R.I. : American Mathematical Society, [1999]
Series:	Contemporary mathematics (American Mathematical Society) ; v. 235.
Subjects:	Computer logic > Congresses. Logic, Symbolic and mathematical > Congresses.

Evans: Library Stacks