Your search returned 3 results.

Not what you expected? Check for suggestions
1.
Categories in computer science and logic : proceedings of the AMSIMSSIAM Joint Summer Research Conference held June 1420, 1987 with support from the National Science Foundation

by Gray John W | Scedrov Andrej.

Series: Contemporary mathematics ; v. 92Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1989Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
2.
Forcing and classifying topoi

by Scedrov, Andrej.

Series: Memoirs of the American Mathematical SocietyMaterial type: Computer file Computer file; Format: electronic Publication details: Providence, R.I., USA : American Mathematical Society, c1984Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
3.
Freyd's models for the independence of the axiom of choice

by Blass, Andreas | Scedrov, Andrej.

Series: Memoirs of the American Mathematical SocietyMaterial type: Computer file Computer file; Format: electronic Publication details: Providence, R.I., USA : American Mathematical Society, c1989Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart