Browsing by Author Gil, Àngel J.
Showing results 1 to 1 of 1
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) |