Advances in contemporary logic and computer science
Subtitle: proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
By: Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
Contributors: Carnielli, Walter A.; D'Ottaviano, Itala M. L., 1944-
Series: Contemporary mathematics -- 235; Contemporary mathematics (American Mathematical Society) -- v. 235
Publisher: American Mathematical Society
Published: 1999
Place of publication: Providence, RI
Language: eng
Number of pages: 326
Subjects: Computer logic -- Congresses; Logic, Symbolic and mathematical -- Congresses
Genres: Congresses
Notes: Includes bibliographical references