Araújo, Helena Paula Nunes2011-12-092011-12-092006http://hdl.handle.net/10400.13/205porTeoria de ConjuntosSistema de Zermelo-FraenkelAxiomáticaDemonstração automáticaIsabelleTácticas e tacticais.Centro de Ciências Exatas e da EngenhariaTeoria de Conjuntos em Isabellemaster thesis