Title: Procedimientos decisorios para formulas monadicas de primer grado
Subjects: Symbolic and mathematical Logic