Browsing by Author Verdú, B. (Buenaventura)

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 8 of 8
Issue DateTitleAuthor(s)
1996A strong completeness theorem for the gentzen systems associated with finite algebrasGil, Àngel J.; Rebagliato, Jordi; Verdú, B. (Buenaventura)
1980Àlgebres quasi-hilbertianesPla i Carrera, Josep; Verdú, B. (Buenaventura)
1980Caracteritzacions lògiques de certes àlgebresVerdú, B. (Buenaventura)
1982Distributivity and irreducibility in closure systemsTorrens Torrell, Antoni; Verdú, B. (Buenaventura)
4-Jul-2012Millora de l'actuació docent del professorat de MatemàtiquesBenseny, Antoni; Cascante, Ma. Carme (Maria Carme); Gispert Brasó, Joan; Verdú, B. (Buenaventura)
1997Product logic and the deduction theoremAdillón, Román; Verdú, B. (Buenaventura)
1980Sobre àlgebres quasi-hilbertianesPla i Carrera, Josep; Verdú, B. (Buenaventura)
1983Some algebraic structures determined by closure operatorsVerdú, B. (Buenaventura)