Proceeding on mathematical logic in Latin America - Arruda A I Ed.; International conference on mathematical logic in Latin America; Chuaqui R Ed.; DaCosta N C A Ed. (Amsterdam North Holland, 1980)
Keywords: Mathematical logic; Mathematics