Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Results
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.

by Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil) [issuing body.] | Carnielli, Walter A. (Walter Alexandre) [editor.] | D'Ottaviano, Itala M. L, 1944- [editor.].

Series: Contemporary mathematics (American Mathematical Society) ; 235.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, 1999Online access: Click to View Availability: No items available.

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.

by Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil) [issuing body.] | Carnielli, Walter A. (Walter Alexandre) [editor.] | D'Ottaviano, Itala M. L, 1944- [editor.].

Series: Contemporary mathematics (American Mathematical Society) ; 235.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, 1999Online access: Click to View Availability: No items available.

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 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 Logica [issuing body.] | Sociedade Brasileira de Matematica [issuing body.] | Association for Symbolic Logic [issuing body.].

Series: Contemporary mathematics (American Mathematical Society) ; v. 69.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [1988]Copyright date: 1988Online access: Click to View Availability: No items available.

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 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 Logica [issuing body.] | Sociedade Brasileira de Matematica [issuing body.] | Association for Symbolic Logic [issuing body.].

Series: Contemporary mathematics (American Mathematical Society) ; v. 69.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [1988]Copyright date: 1988Online access: Click to View Availability: No items available.

Pages