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

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. - 1 online resource (264 pages) : illustrations. - Contemporary mathematics, volume 69 0271-4132 ; . - Contemporary mathematics (American Mathematical Society) ; v. 69. .

Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic.

Includes bibliographies.

9780821876589 (e-book)


Logic, Symbolic and mathematical--Congresses.


Electronic books.

QA9.A1 / L37 1985

511.3