TY - BOOK AU - Martins, Manuel António Gonçalves ED - Universidade de Aveiro TI - Amalgamação em lógica PY - 1998/// CY - Aveiro PB - M. Martins KW - Teses de mestrado KW - Lógica matemática KW - por KW - med KW - 510.6(043 ER -