Indexed Systems of Sequents and Cut-Elimination
Grigori MintsVolume:
26
Langue:
english
Journal:
Journal of Philosophical Logic
DOI:
10.2307/30226635
Date:
December, 1997
Fichier:
PDF, 1.71 MB
english, 1997