Ángel Ruiz Centro de Investigaciones Matemáticas y Meta-Matemáticas. Universidad de Costa Rica [email protected] San José, Costa Rica