Browsing by Author Verdú, B. (Buenaventura)
Showing results 1 to 8 of 8
Issue Date | Title | Author(s) |
---|---|---|
1996 | A strong completeness theorem for the gentzen systems associated with finite algebras | Gil, Àngel J.; Rebagliato, Jordi; Verdú, B. (Buenaventura) |
1980 | Àlgebres quasi-hilbertianes | Pla i Carrera, Josep; Verdú, B. (Buenaventura) |
1980 | Caracteritzacions lògiques de certes àlgebres | Verdú, B. (Buenaventura) |
1982 | Distributivity and irreducibility in closure systems | Torrens Torrell, Antoni; Verdú, B. (Buenaventura) |
4-Jul-2012 | Millora de l'actuació docent del professorat de Matemàtiques | Benseny, Antoni; Cascante, Ma. Carme (Maria Carme); Gispert Brasó, Joan; Verdú, B. (Buenaventura) |
1997 | Product logic and the deduction theorem | Adillón, Román; Verdú, B. (Buenaventura) |
1980 | Sobre àlgebres quasi-hilbertianes | Pla i Carrera, Josep; Verdú, B. (Buenaventura) |
1983 | Some algebraic structures determined by closure operators | Verdú, B. (Buenaventura) |