Documents liés : [5 document(s)]

Documents (Auteurs)

• [MathOuvrage] Freyd's models for the independence of the axiom of choice / Blass, A. ; Scedrov, Andre. -Providence RI : American mathematical Society, 1989. - viii, 134 p.
  
• [MathOuvrage] Forcing and classifying topoi / Scedrov, Andre. -Providence RI : American mathematical Society, 1984. - x , 93 p.
  
• [MathOuvrage] Categories, allegories / Freyd, Peter J. ; Scedrov, Andre. -Amsterdam : North-Holland, 1990. - xvii, 296
  
• [MathCongrès] Logic and computer science / Ed. Homer, S. ; Ed. Nerode, A. ; Ed. Platek, R.A. ; Ed. Sacks, Gerald E. ; Ed. Scedrov, Andre. -Berlin : Springer, 1990. - 162
  https://doi.org/10.1007/BFb0093921
  
• [MathCongrès] Categories in computer science and logic / Ed. Gray, J.W. ; Ed. Scedrov, Andre. -Providence RI : American mathematical Society, 1989. - x-382