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

Author(s)

• Brazilian Conference on Mathematical Logic
• Carnielli, Walter A. (Walter Alexandre)
• D'Ottaviano, Itala M. L.

Bibliographic Information

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

Walter A. Carnielli, Itala M.L. D'Ottaviano, editors

（Contemporary mathematics, v. 235）

American Mathematical Society, c1999

Note

Includes bibliographical references

Details

• NCID: BA42423139
• ISBN:
  • 0821813641
• LCCN: 99023309
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Providence, R.I.
• Pages/Volumes: xi, 326 p.
• Size: 26 cm
• Classification:
  • LCC : QA76.9.L36
  • DC21 : 005.1/01/5113
• Subject Headings:
  • LCSH : Computer logic -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• Parent Bibliography ID:
  • BA00009927