Your search returned 3 results.

Not what you expected? Check for suggestions
E-BOOKS
Categories in computer science and logic : [electronic resource] 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) | Gray, John W. (John Walker), 1931- | �S�cedrov, Andrej, 1955- | National Science Foundation.

Series: Contemporary mathematics (American Mathematical Society) ; ; v. 92.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1989Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Forcing and classifying topoi / [electronic resource] Andrej S�c�edrov.

by �S�cedrov, Andrej, 1955-.

Series: Memoirs of the American Mathematical Society ; v. 295Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I., USA : American Mathematical Society, c1984Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Freyd's models for the independence of the axiom of choice / [electronic resource] Andreas Blass and Andre Scedrov.

by Blass, Andreas, 1947- | �S�cedrov, Andrej, 1955-.

Series: Memoirs of the American Mathematical Society ; v. 404Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I., USA : American Mathematical Society, c1989Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha