Dissertação de Leandro Oliva Suguitani

Algebra de relações : uma axiomatização tarskiana