Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Results
Proof and computations [electronic resource] / Helmut Schwichtenberg, Stanley S. Wainer.

by Schwichtenberg, Helmut, 1942- | Wainer, S. S | ProQuest (Firm) | Association for Symbolic Logic.

Series: Perspectives in logicMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 2012Online 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