CONSTRUÇÕES ALGORÍTMICAS E DEMONSTRAÇÕES AXIOMÁTICAS

LIMA, Luiza Maria Morais. Dissertação de Mestrado do Curso de Mestrado Profissional em Matemática, do Centro de Ciências e Tecnologia da Universidade Federal do Ceará-UFC, 2013, Fortaleza (CE), 58p.