00695cam 2200241 450 1754498http://id.bnportugal.gov.pt/bib/porbase/175449820030621165900.00-387-97710-470727PTBN0062663519920709d1992 k y0pory0103 baengUSSheaves in geometry and logic<a >first introduction to topos theorySaunders MacLaneNew YorkSpringer1992XII, 627 pUniversitext512.73medeng1389834515.14medeng304740MacLaneSaunders1909-677009MoerdijkIeke0701414613PTBNRPC03G/MACcoopUCMAmq3077249bccoopUCMA0UCMA6-368