Methods and applications of mathematical logic
Subtitle: proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
By: Walter A. Carnielli and Luiz Paulo de Alcantara, editors.
Contributors: Carnielli, Walter A.; Alcantara, Luiz Paulo de, 1944-; Sociedade Brasileira de Lógica.; Sociedade Brasileira de Matemática.; Association for Symbolic Logic.
Series: Contemporary mathematics,; v. 69; Contemporary mathematics (American Mathematical Society) ;; v. 69.
Publisher: American Mathematical Society
Published: 1988
Place of publication: Providence, R.I
Language: eng
Number of pages: 250
Subjects: Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographies.
Sponsored by the Sociedade Brasileira de Lógica, Sociedade Brasileira de Matemática, and the Association for Symbolic Logic.