Research Catalog

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

Title
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.
Author
Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil)
Publication
Providence, RI : American Mathematical Society, 1999.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextUse in library QA76.9.L36 B73 1996Off-site

Details

Additional Authors
  • Carnielli, Walter A. (Walter Alexandre)
  • D'Ottaviano, Itala M. L., 1944-
Description
xi, 326 p. : ill.; 26 cm.
Series Statement
Contemporary mathematics ; 235
Uniform Title
Contemporary mathematics (American Mathematical Society) ; v. 235.
Subject
  • Computer logic > Congresses
  • Logic, Symbolic and mathematical > Congresses
Bibliography (note)
  • Includes bibliographical references.
ISBN
0821813641 (pbk. : alk. paper)
LCCN
99023309
Owning Institutions
Princeton University Library