Yu, Xin

Monograph from CaltechAUTHORS

• Yu, Xin and Hickey, Jason (2003) Formalizing Abstract Algebra in Constructive Set Theory; 10.7907/Z94T6GB8