Universitat de Barcelona. Departament de Lògica