Home
People
Groups
Recent
Samples
JavaScript
Widgets
Search Feeds
About
Yu, Xin
Monograph from
CaltechAUTHORS
Yu, Xin and Hickey, Jason (2003)
Formalizing Abstract Algebra in Constructive Set Theory
;
10.7907/Z94T6GB8