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

Author(s)

• 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

Bibliographic Information

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

Note

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

Details

• NCID: BA03684223
• ISBN:
  • 0821850768
• LCCN: 87033651
• Country Code: us
• Title Language Code: eng
• Text Language Code: engfre
• Place of Publication: Providence, R.I.
• Pages/Volumes: xi, 250 p.
• Size: 26 cm
• Classification:
  • LCC : QA9.A1
  • DC19 : 511.3
  • NDC8 : 410.96
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• Parent Bibliography ID:
  • BA00009927