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.
- Providence, R.I. : American Mathematical Society, 1988.
- xi, 250 p. ; 25 cm.
- Contemporary mathematics vol. 69 0271-4132 ; .
Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic.
Includes bibliographies.
0821850768
Logic, Symbolic and mathematical--Congresses.
Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic.
Includes bibliographies.
0821850768
Logic, Symbolic and mathematical--Congresses.