The Cut-Elimination and Nonlegthening Property for Gentzen's Sequent Calculus for First Order Logic with Equality
F. Parlamento
•
F. Previale
2017
Periodico
THE BULLETIN OF SYMBOLIC LOGIC
Archivio
Diritti
closed access