Admissibility of the structural rules in Kanger’s sequent calculus for first order logic with equality
PARLAMENTO, Franco
•
Munini, Federico
2016
Periodico
THE BULLETIN OF SYMBOLIC LOGIC
Archivio
Diritti
metadata only access