Cover Image

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.
Description
Physical Description:xi, 326 pages : illustrations ; 26 cm.
Bibliography:Includes bibliographical references.
ISBN:0821813641 (pbk. : alk. paper)