Effective topos

From Free net encyclopedia