Valentín Gallart, Oriol (Fecha de defensa: 2012-12-20)
Aquesta tesi s'emmarca dins del camp de la lingüística matemàtica, concretament en la branca de la
gramàtica lògica de tipus, disciplina íntimament relacionada amb la teoria de la demostració.
En aquest treball es proposa ...