Methods and applications of mathematical logic : proceedings of the latin american symposium on mathematical logic held July 29 - August 2, 1985 [monographie]
Auteur(s):
Carnielli, Walter Alexandre (1952-....) (Ed.) Alcantara, Luiz Paulo De (1944-....) (Ed.)