Algebraic logic and universal algebra in computer science proceedings
Conference on Algebraic Logic and Universal Algebra in Computer Science, Ames, 1988 Clifford H Bergman; Roger Maddux
Berlin Springer 1990
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.425 ) e outros locais(Acessar)