skip to main content
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
