Juan B. Ferro

• Procedimientos decisorios para formulas monadicas de primer grado