DMCA

Abstract A THEOREM PROVER FOR ELEMENTARY SET THEORY

by F. M. Brown