Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
E-Book/E-Doc
Conference Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas), issuing body.

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.

Publication Info. Providence, Rhode Island : American Mathematical Society, [1988]
1988

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description 1 online resource (264 pages) : illustrations.
text rdacontent
computer rdamedia
online resource rdacarrier
Series Contemporary mathematics, 0271-4132 ; volume 69
Contemporary mathematics (American Mathematical Society) ; v. 69.
Note Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic.
Bibliography Includes bibliographies.
Note Description based on print version record.
Subject Logic, Symbolic and mathematical -- Congresses.
Genre/Form Electronic books.
Added Author 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.
Other Form: Print version: Latin-American Symposium on Mathematical Logic. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985. Providence, Rhode Island : American Mathematical Society, [1988] xi, 250 pages ; 25 cm. Contemporary mathematics ; v. 69 9780821850763 (DLC)10873229
ISBN 0821850768 (pbk. : alk. paper)
9780821850763
9780821876589 (e-book)

 
    
Available items only