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.

By: (7th : Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas) [issuing body.]Contributor(s): Carnielli, Walter A. (Walter Alexandre) [editor.] | Alcantara, Luiz Paulo de, 1944- [editor.] | Sociedade Brasileira de Logica [issuing body.] | Sociedade Brasileira de Matematica [issuing body.] | Association for Symbolic Logic [issuing body.]Material type: TextTextSeries: Contemporary mathematics (American Mathematical Society) ; v. 69.Publisher: Providence, Rhode Island : American Mathematical Society, [1988]Copyright date: 1988Description: 1 online resource (264 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9780821876589 (e-book)Subject(s): Logic, Symbolic and mathematical -- CongressesGenre/Form: Electronic books.Additional physical formats: Print version:: Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985.DDC classification: 511.3 LOC classification: QA9.A1 | L37 1985Online resources: Click to View
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

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

Includes bibliographies.

Description based on print version record.

Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

There are no comments on this title.

to post a comment.