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

著者

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

書誌事項

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

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA42423139
• ISBN:
  • 0821813641
• LCCN: 99023309
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Providence, R.I.
• ページ数/冊数: xi, 326 p.
• 大きさ: 26 cm
• 分類:
  • LCC : QA76.9.L36
  • DC21 : 005.1/01/5113
• 件名:
  • LCSH : Computer logic -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• 親書誌ID:
  • BA00009927