The subterm property for some equality sequent calculi
Parlamento Franco
•
Previale Flavio
•
Munini Federico
2019
Periodico
THE BULLETIN OF SYMBOLIC LOGIC
Archivio
Diritti
metadata only access