|
Titolo |
Methods and applications of mathematical logic : proceedings of the 7. Latin american symposium on mathematical logic held in Campinas, Sao Paulo State, Brazil, from July 29 to August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors |
|