Computer-Implemented Set Theory

• 1 August 1980
• journal article
• Published by JSTOR in The American Mathematical Monthly
• Vol. 87  (7) , 557
• https://doi.org/10.2307/2321427

Abstract