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
Linked e-resources
Linked Resource
Online Access
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
Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas), issuing body.
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
Carnielli, Walter A. (Walter Alexandre), editor.
Alcantara, Luiz Paulo de, 1944- editor.
Alcantara, Luiz Paulo de, 1944- editor.
Added Corporate Author
Sociedade Brasileira de Lógica, issuing body.
Sociedade Brasileira de Matemática, issuing body.
Association for Symbolic Logic, issuing body.
Sociedade Brasileira de Matemática, issuing body.
Association for Symbolic Logic, issuing body.
Series
Contemporary mathematics (American Mathematical Society) ; v. 69.
Available in Other Form
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources