Your search returned 6 results.

Not what you expected? Check for suggestions
Sort
Results
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / John W. Gray and Andre Scedrov, editors.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic (1987 : University of Colorado, Boulder) [issuing body.] | Gray, John W. (John Walker), 1931- [editor.] | Scedrov, Andrej, 1955- [editor.] | National Science Foundation [issuing body.].

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

Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / John W. Gray and Andre Scedrov, editors.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic (1987 : University of Colorado, Boulder) [issuing body.] | Gray, John W. (John Walker), 1931- [editor.] | Scedrov, Andrej, 1955- [editor.] | National Science Foundation [issuing body.].

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

Forcing and classifying topoi / Andrej Scedrov.

by Scedrov, Andrej, 1955- [author.].

Series: Memoirs of the American Mathematical Society ; no. 295.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence, R.I., USA : American Mathematical Society, [1984]Copyright date: 1984Online access: Click to View Availability: No items available.

Forcing and classifying topoi / Andrej Scedrov.

by Scedrov, Andrej, 1955- [author.].

Series: Memoirs of the American Mathematical Society ; no. 295.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence, R.I., USA : American Mathematical Society, [1984]Copyright date: 1984Online access: Click to View Availability: No items available.

Freyd's models for the independence of the axiom of choice / Andreas Blass and Andre Scedrov.

by Blass, Andreas, 1947- [author.] | Scedrov, Andrej, 1955- [author.].

Series: Memoirs of the American Mathematical Society ; Number 404.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, 1989Copyright date: 1989Online access: Click to View Availability: No items available.

Freyd's models for the independence of the axiom of choice / Andreas Blass and Andre Scedrov.

by Blass, Andreas, 1947- [author.] | Scedrov, Andrej, 1955- [author.].

Series: Memoirs of the American Mathematical Society ; Number 404.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, 1989Copyright date: 1989Online access: Click to View Availability: No items available.

Pages