Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985

著者

• Carnielli, Walter A. (Walter Alexandre)
• Alcantara, Luiz Paulo de
• Sociedade Brasileira de Lógica
• Sociedade Brasileira de Matemática
• Association for Symbolic Logic
• Latin-American Symposium on Mathematical Logic

書誌事項

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985

Walter A. Carnielli and Luiz Paulo de Alcantara, editors

（Contemporary mathematics, v. 69）

American Mathematical Society, c1988

注記

Sponsored by the Sociedade Brasileira de Lógica, Sociedade Brasileira de Matemática, and the Association for Symbolic Logic

The symposium held at the State University of Campinas (UNICAMP) in Campinas, São Paulo State, Brazil

詳細情報

• NII書誌ID(NCID): BA03684223
• ISBN:
  • 0821850768
• LCCN: 87033651
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: engfre
• 出版地: Providence, R.I.
• ページ数/冊数: xi, 250 p.
• 大きさ: 26 cm
• 分類:
  • LCC : QA9.A1
  • DC19 : 511.3
  • NDC8 : 410.96
• 件名:
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• 親書誌ID:
  • BA00009927