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.
Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas), issuing body.; Carnielli, Walter A. (Walter Alexandre), editor.; Alcantara, Luiz Paulo de, 1944- editor.; Sociedade Brasileira de Lógica, issuing body.; Sociedade Brasileira de Matemática, issuing body.; Association for Symbolic Logic, issuing body.
1988
QA9.A1 L37 1985
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
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.
Meeting Name
ISBN
0821850768 (pbk. : alk. paper)
9780821850763
9780821876589 (e-book)
9780821850763
9780821876589 (e-book)
Published
Providence, Rhode Island : American Mathematical Society, [1988]
Copyright
©1988
Language
English
Description
1 online resource (264 pages) : illustrations.
Call Number
QA9.A1 L37 1985
Dewey Decimal Classification
511.3
Note
Sponsored by the Sociedade Brasileira de Lógica, Sociedade Brasileira de Matemática, and the Association for Symbolic Logic.
Bibliography, etc. Note
Includes bibliographies.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Added Corporate Author
Series
Contemporary mathematics (American Mathematical Society) ; v. 69.
Available in Other Form
Linked Resources
Record Appears in